Zongxin Liu

According to our database, Zongxin Liu authored at least 6 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

DeepCDCL: A CDCL-based Neural Network Verification Framework.

Zongxin Liu, Pengfei Yang, Lijun Zhang, Xiaowei Huang

Proceedings of the Theoretical Aspects of Software Engineering, 2024

Deep Unfolding 3D Non-Local Transformer Network for Hyperspectral Snapshot Compressive Imaging.

Zheng Zhou, Zongxin Liu, Yongyong Chen, Bingzhi Chen, Biqing Zeng, Yicong Zhou

Proceedings of the IEEE International Conference on Multimedia and Expo, 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