Wu, Yiting, and Min Zhang. 2021. “Tightening Robustness Verification of Convolutional Neural Networks With Fine-Grained Linear Approximation”. Proceedings of the AAAI Conference on Artificial Intelligence 35 (13):11674-81. https://doi.org/10.1609/aaai.v35i13.17388.