Ning, M., Zhou, Z., Wang, Q., Huang, X., & Huang, K. (2025). GNS: Solving Plane Geometry Problems by Neural-Symbolic Reasoning with Multi-Modal LLMs. Proceedings of the AAAI Conference on Artificial Intelligence, 39(23), 24957–24965. https://doi.org/10.1609/aaai.v39i23.34679