Incremental Satisfiability Modulo Theory for Verification of Deep Neural Networks. - Pengfei Yang 002; Zhiming Chi; Zongxin Liu 001; Mengyu Zhao; Cheng-Chao Huang; Shaowei Cai 001; Lijun Zhang 001 (CoRR, 2023)

DeepCDCL: A CDCL-based Neural Network Verification Framework. - Zongxin Liu 001; Pengfei Yang 002; Lijun Zhang 001; Xiaowei Huang 001 (TASE, 2024)

DeepCDCL: An CDCL-based Neural Network Verification Framework. - Zongxin Liu 001; Pengfei Yang 002; Lijun Zhang 001; Xiaowei Huang 001 (CoRR, 2024)

Training Verification-Friendly Neural Networks via Neuron Behavior Consistency. - Zongxin Liu 001; Zhe Zhao 007; Fu Song; Jun Sun 001; Pengfei Yang 002; Xiaowei Huang 001; Lijun Zhang 001 (AAAI, 2025)