@InProceedings{Xiao_2024_CVPR,
    author    = {Xiao, Yuan and Ma, Shiqing and Zhai, Juan and Fang, Chunrong and Jia, Jinyuan and Chen, Zhenyu},
    title     = {Towards General Robustness Verification of MaxPool-based Convolutional Neural Networks via Tightening Linear Approximation},
    booktitle = {Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR)},
    month     = {June},
    year      = {2024},
    pages     = {24766-24775}
}
Yuan Xiao Shiqing Ma Juan Zhai Chunrong Fang Jinyuan Jia Zhenyu Chen
Towards General Robustness Verification of MaxPool-based Convolutional Neural Networks via Tightening Linear Approximation