M. Ning, Z. Zhou, Q. Wang, X. Huang, and K. Huang, “GNS: Solving Plane Geometry Problems by Neural-Symbolic Reasoning with Multi-Modal LLMs”, AAAI, vol. 39, no. 23, pp. 24957–24965, Apr. 2025.