Gu, Mingzheng

1 publications

CVPR 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