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://doi.org/10.1609/aaai.v35i8.16840.