Zongxin Liu

According to our database, Zongxin Liu authored at least 4 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

DeepCDCL: An CDCL-based Neural Network Verification Framework.

Zongxin Liu, Pengfei Yang, Lijun Zhang, Xiaowei Huang

CoRR, 2024

2023

Incremental Satisfiability Modulo Theory for Verification of Deep Neural Networks.

Pengfei Yang, Zhiming Chi, Zongxin Liu, Mengyu Zhao, Cheng-Chao Huang, Shaowei Cai, Lijun Zhang

CoRR, 2023

2022

Analysis and research on intelligent manufacturing medical product design and intelligent hospital system dynamics based on machine learning under big data.

Zongxin Liu, Jiaozi Pu

Enterp. Inf. Syst., 2022

Reversible conflict-free replicated data types.

Yunhao Mao, Zongxin Liu, Hans-Arno Jacobsen

Proceedings of the Middleware '22: 23rd International Middleware Conference, Quebec, QC, Canada, November 7, 2022