Liu, Zongxin

2 publications

ICLR 2026 Certifying the Full YOLO Pipeline: A Probabilistic Verification Approach Zongxin Liu, Zhiming Chi, Lijia Yu, Tao Lin, Lijun Zhang

AAAI 2025 Training Verification-Friendly Neural Networks via Neuron Behavior Consistency Zongxin Liu, Zhe Zhao, Fu Song, Jun Sun, Pengfei Yang, Xiaowei Huang, Lijun Zhang