Wang, F., Xu, P., Ruan, W., & Huang, X. (2023). Towards Verifying the Geometric Robustness of Large-Scale Neural Networks. Proceedings of the AAAI Conference on Artificial Intelligence, 37(12), 15197-15205. https://doi.org/10.1609/aaai.v37i12.26773