Boopathy, Akhilan, Lily Weng, Sijia Liu, Pin-Yu Chen, Gaoyuan Zhang, and Luca Daniel. 2021. “Fast Training of Provably Robust Neural Networks by SingleProp”. Proceedings of the AAAI Conference on Artificial Intelligence 35 (8):6803-11. https://ojs.aaai.org/index.php/AAAI/article/view/16840.