Zongxin Liu (刘宗鑫)'s Homepage

Office: No. 601, Room 339, Building 5
Address: South Fourth Street 4#, Zhong Guan Cun, Beijing
email: liuzx###ios**ac*cn

Contact

I am currently a master student in the group. My main research interests are:

Sept. 2021 – present: Ph.D. Student in Computer Software and Theory at Institute of Software, Chinese Academy of Sciences and University of Chinese Academy of Sciences
Sept. 2017 – Jun. 2021: Radio and Television Engineering (Bachelor’s degree) at Communication University of China (CUC)

Zongxin Liu, Zhe Zhao, Fu Song (), Jun Sun (), Pengfei Yang, Xiaowei Huang (), Lijun Zhang: Training Verification-Friendly Neural Networks via Neuron Behavior Consistency. In AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, February 25 - March 4, 2025, Philadelphia, PA, USA, pages 5757-5765, 2025. DOI BIB
刘宗鑫, 迟智名, 赵梦宇, 黄承超, 黄小炜, 蔡少伟, 张立军, 杨鹏飞: 神经网络的增量验证. In 软件学报 36(8):3444-3461, 2025. DOI BIB
Zongxin Liu, Pengfei Yang, Lijun Zhang, Xiaowei Huang (): DeepCDCL: A CDCL-based Neural Network Verification Framework. In Theoretical Aspects of Software Engineering - 18th International Symposium, TASE 2024, Guiyang, China, July 29 - August 1, 2024, Proceedings, volume 14777 of Lecture Notes in Computer Science, pages 343-355, 2024. DOI BIB
刘宗鑫, 杨鹏飞, 张立军, 吴志林 (), 黄小炜: 完备神经网络验证加速技术综述. In 软件学报 35(9):4038-4068, 2024. DOI BIB