Ning, M. et al. 2025. GNS: Solving Plane Geometry Problems by Neural-Symbolic Reasoning with Multi-Modal LLMs. Proceedings of the AAAI Conference on Artificial Intelligence. 39, 23 (Apr. 2025), 24957–24965. DOI:https://doi.org/10.1609/aaai.v39i23.34679.