A. Boopathy, L. Weng, S. Liu, P.-Y. Chen, G. Zhang, and L. Daniel, “Fast Training of Provably Robust Neural Networks by SingleProp”, AAAI, vol. 35, no. 8, pp. 6803-6811, May 2021.