Boopathy, Akhilan, Tsui-Wei Weng, Pin-Yu Chen, Sijia Liu, and Luca Daniel. 2019. “CNN-Cert: An Efficient Framework for Certifying Robustness of Convolutional Neural Networks”. Proceedings of the AAAI Conference on Artificial Intelligence 33 (01):3240-47. https://doi.org/10.1609/aaai.v33i01.33013240.