Nanjing University; nanjing university; University of Massachusetts at Amherst; Pennsylvania State University
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