Yujia Huang, Huan Zhang, Yuanyuan Shi, J. Zico Kolter, Anima Anandkumar: Training Certifiably Robust Neural Networks with Efficient Local Lipschitz Bounds. CoRR abs/2111.01395 (2021)