TY  - RPRT
TI  - Tightening Robustness Verification of MaxPool-based Neural Networks via Minimizing the Over-Approximation Zone
AU  - Yuan Xiao
AU  - Yuchen Chen
AU  - Shiqing Ma
AU  - Chunrong Fang
AU  - Tongtong Bai
AU  - Mingzheng Gu
AU  - Yuxin Cheng
AU  - Yanwei Chen
AU  - Zhenyu Chen
PY  - 2025
UR  - https://arxiv.org/abs/2211.09810
ID  - 2211.09810
ER  -