Ning M, Zhou Z, Wang Q, Huang X, Huang K. GNS: Solving Plane Geometry Problems by Neural-Symbolic Reasoning with Multi-Modal LLMs. AAAI [Internet]. 2025 Apr. 11 [cited 2026 May 7];39(23):24957-65. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/34679