F. Wang, P. Xu, W. Ruan, and X. Huang, “Towards Verifying the Geometric Robustness of Large-Scale Neural Networks”, AAAI, vol. 37, no. 12, pp. 15197-15205, Jun. 2023.