CMU; UCLA; Northeastern University; Columbia University
Shiqi Wang, Huan Zhang, Kaidi Xu, Xue Lin, Suman Jana, Cho-Jui Hsieh, J. Zico Kolter
neural network verification;branch and bound;adversarial robustness;adversarial examples;certified robustness
Beta-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Neural Network Robustness Verification