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