Ning, M.; Zhou, Z.; Wang, Q.; Huang, X.; Huang, K. GNS: Solving Plane Geometry Problems by Neural-Symbolic Reasoning With Multi-Modal LLMs. AAAI 2025, 39, 24957-24965.