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