{"total":16,"rows":[{"id":"2402.10104","title":"GeoEval: Benchmark for Evaluating LLMs and Multi-Modal Models on Geometry Problem-Solving","created":"2024-02-15","cited_by_count":45,"area":null},{"id":"2310.18021","title":"FormalGeo: An Extensible Formalized Framework for Olympiad Geometric Problem Solving","created":"2023-10-27","cited_by_count":27,"area":null},{"id":"2312.07622","title":"Mathematical Language Models: A Survey","created":"2023-12-12","cited_by_count":24,"area":null},{"id":"2401.08664","title":"Adapting Large Language Models for Education: Foundational Capabilities, Potentials, and Challenges","created":"2023-12-27","cited_by_count":13,"area":null},{"id":"2504.10146","title":"GeoUni: A Unified Model for Generating Geometry Diagrams, Problems and Problem Solutions","created":"2025-04-14","cited_by_count":11,"area":null},{"id":"2503.05543","title":"Pi-GPS: Enhancing Geometry Problem Solving by Unleashing the Power of Diagrammatic Information","created":"2025-03-07","cited_by_count":10,"area":null},{"id":"2501.13773","title":"Do Large Language Models Truly Understand Geometric Structures?","created":"2025-01-23","cited_by_count":7,"area":null},{"id":"2512.08180","title":"GeoLoom: High-quality Geometric Diagram Generation from Textual Input","created":"2025-12-09","cited_by_count":2,"area":null},{"id":"2609.01607","title":"Uncovering Understanding-Generation Synergy in Native Unified Multimodal Models: From Representation, Task to System","created":"2026-09-01","cited_by_count":2,"area":null},{"id":"2401.16287","title":"GAPS: Geometry-Aware Problem Solver","created":"2024-01-29","cited_by_count":1,"area":null},{"id":"2510.21999","title":"Foundation of Intelligence: Review of Math Word Problems from Human Cognition Perspective","created":"2025-10-24","cited_by_count":1,"area":null},{"id":"2606.04648","title":"BiNSGPS: Geometry Problem Solving via Bidirectional Neuro-Symbolic Interaction","created":"2026-06-03","cited_by_count":0,"area":null},{"id":"2606.09278","title":"Internalizing Geometric Law: Learning from Solver Residuals for Precision-Critical Generation","created":"2026-06-08","cited_by_count":0,"area":null},{"id":"2606.12419","title":"GeoDial: A Multimodal Conversational Tutoring Dataset for Geometry Problem-Solving with Visual Tutor Turns","created":"2026-05-08","cited_by_count":0,"area":null},{"id":"2606.27926","title":"Verifiable Geometry Problem Solving: Solver-Driven Autoformalization and Theorem Proposing","created":"2026-06-26","cited_by_count":0,"area":null},{"id":"2608.14585","title":"Euclid-Omni : A Unified Neuro-Symbolic Framework for Plane Geometry","created":"2026-06-17","cited_by_count":0,"area":null}],"next_cursor":null}