Training Certifiably Robust Neural Networks with Efficient Local Lipschitz Bounds - Huang, Yujia; Zhang, Huan; Shi, Yuanyuan; Kolter, J. Zico; Anandkumar, Anima (Advances in Neural Information Processing Systems, 2021)