Boopathy, A.; Weng, L.; Liu, S.; Chen, P.-Y.; Zhang, G.; Daniel, L. Fast Training of Provably Robust Neural Networks by SingleProp. AAAI 2021, 35, 6803-6811.