Ning, Maizhen, Zihao Zhou, Qiufeng Wang, Xiaowei Huang, and Kaizhu Huang. 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-65. https://doi.org/10.1609/aaai.v39i23.34679.