Drexel University; Columbia University; CMU; Bosch Center for AI; UIUC; UCLA
Huan Zhang, Shiqi Wang, Kaidi Xu, Linyi Li, Bo Li, Suman Jana, Cho-Jui Hsieh, J. Zico Kolter
neural network;formal verification;adversarial robustness
General Cutting Planes for Bound-Propagation-Based Neural Network Verification