University of California, Los Angeles; Carnegie Mellon University; Carnegie Mellon University, Bosch Center for AI
Zhouxing Shi, Yihan Wang, Huan Zhang, J. Zico Kolter, Cho-Jui Hsieh
Lipschitz;verification;robustness
Efficiently Computing Local Lipschitz Constants of Neural Networks via Bound Propagation