Certifying Robustness of Convolutional Neural Networks with Tight Linear Approximation. - Yuan Xiao 003; Tongtong Bai; Mingzheng Gu; Chunrong Fang; Zhenyu Chen 001 (CoRR, 2022)

Generation-based Differential Fuzzing for Deep Learning Libraries. - Jiawei Liu; Yuheng Huang 004; Zhijie Wang 014; Lei Ma 003; Chunrong Fang; Mingzheng Gu; Xufan Zhang; Zhenyu Chen 001 (ACM Trans. Softw. Eng. Methodol., 2024)

Tightening Robustness Verification of MaxPool-based Neural Networks via Minimizing the Over-Approximation Zone. - Yuan Xiao 003; Yuchen Chen; Shiqing Ma; Chunrong Fang; Tongtong Bai; Mingzheng Gu; Yuxin Cheng; Yanwei Chen; Zhenyu Chen 001 (CVPR, 2025)

Automated Detection and Repair of Floating-point Precision Problems in Convolutional Neural Network Operators. - Jiawei Liu; Xufan Zhang; Lurong Xu; Chunrong Fang; Mingzheng Gu; Weisi Luo; Dong Chai; Jiang Wang; Zhihong Zhao; Zhenyu Chen 001 (ACM Trans. Softw. Eng. Methodol., 2025)