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

Browse the full CVPR paper archive.