Wang, F.; Xu, P.; Ruan, W.; Huang, X. Towards Verifying the Geometric Robustness of Large-Scale Neural Networks. AAAI 2023, 37, 15197-15205.