Mingzheng Gu

According to our database, Mingzheng Gu authored at least 4 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

ACM Trans. Softw. Eng. Methodol., September, 2025

Tightening Robustness Verification of MaxPool-based Neural Networks via Minimizing the Over-Approximation Zone.

Yuan Xiao, Yuchen Chen, Shiqing Ma, Chunrong Fang, Tongtong Bai, Mingzheng Gu, Yuxin Cheng, Yanwei Chen, Zhenyu Chen

Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2025

2024

Generation-based Differential Fuzzing for Deep Learning Libraries.

Jiawei Liu, Yuheng Huang, Zhijie Wang, Lei Ma, Chunrong Fang, Mingzheng Gu, Xufan Zhang, Zhenyu Chen

ACM Trans. Softw. Eng. Methodol., February, 2024

2022

Certifying Robustness of Convolutional Neural Networks with Tight Linear Approximation.

Yuan Xiao, Tongtong Bai, Mingzheng Gu, Chunrong Fang, Zhenyu Chen

CoRR, 2022