{"total":21,"rows":[{"id":"2504.12773","title":"Enhancing the Geometric Problem-Solving Ability of Multimodal LLMs via Symbolic-Neural Integration","created":"2025-04-17","cited_by_count":18,"area":"lr"},{"id":"2402.11461","title":"FGeo-HyperGNet: Geometric Problem Solving Integrating FormalGeo Symbolic System and Hypergraph Neural Network","created":"2024-02-18","cited_by_count":8,"area":"lr"},{"id":"2506.02690","title":"Towards Geometry Problem Solving in the Large Model Era: A Survey","created":"2025-06-03","cited_by_count":8,"area":"lr"},{"id":"2505.14479","title":"Reliable Proof Generation with LLMs via Analogical Retrieval and Symbolic Verification: A Case Study in Euclidean Geometry","created":"2025-05-20","cited_by_count":7,"area":"lr"},{"id":"2510.01719","title":"What MLLMs Learn about When they Learn about Multimodal Reasoning","created":"2025-10-02","cited_by_count":6,"area":"lr"},{"id":"2402.09051","title":"FGeo-DRL: Deductive Reasoning for Geometric Problems through Deep Reinforcement Learning","created":"2024-02-14","cited_by_count":4,"area":"lr"},{"id":"2507.11936","title":"A Survey of Deep Learning for Geometry Problem Solving","created":"2025-07-16","cited_by_count":4,"area":"lr"},{"id":"2508.09099","title":"Bridging Formal Language with Chain-of-Thought Reasoning to Geometry Problem Solving","created":"2025-08-12","cited_by_count":3,"area":"lr"},{"id":"2510.27448","title":"GeoFM: Enhancing Geometric Reasoning of MLLMs via Synthetic Data Generation through Formal Language","created":"2025-10-31","cited_by_count":3,"area":"lr"},{"id":"2605.16385","title":"Hilbert-Geo: Solving Solid Geometric Problems by Neural-Symbolic Reasoning","created":"2026-05-11","cited_by_count":2,"area":"lr"},{"id":"2603.19252","title":"GeoChallenge: A Multi-Answer Multiple-Choice Benchmark for Geometric Reasoning with Diagrams","created":"2026-02-25","cited_by_count":1,"area":"lr"},{"id":"2604.00890","title":"Beyond Symbolic Solving: Multi Chain-of-Thought Voting for Geometric Reasoning in Large Language Models","created":"2026-04-01","cited_by_count":1,"area":"lr"},{"id":"2604.11600","title":"Geoparsing: Diagram Parsing for Plane and Solid Geometry with a Unified Formal Language","created":"2026-04-13","cited_by_count":1,"area":"lr"},{"id":"2607.12982","title":"FormalAnalyticGeo: A Neural-Symbolic Based Framework for Multimodal Analytic Geometry Problem Generation","created":"2026-07-14","cited_by_count":1,"area":"lr"},{"id":"2601.21164","title":"Concise Geometric Description as a Bridge: Unleashing the Potential of LLM for Plane Geometry Problem Solving","created":"2026-01-29","cited_by_count":0,"area":"lr"},{"id":"2603.08291","title":"A Survey of Multimodal Mathematical Reasoning: From Perception, Alignment to Reasoning","created":"2026-03-09","cited_by_count":0,"area":"lr"},{"id":"2608.26950","title":"From Atomic to Agentic: Towards Interpretable Evaluation of LLMs' Agentic Mathematical Capabilities","created":"2026-08-27","cited_by_count":0,"area":"lr"},{"id":"2608.30156","title":"Reactivating Test-Time Scaling for Plane Geometry Problem Solving","created":"2026-08-31","cited_by_count":0,"area":"lr"},{"id":"2609.10335","title":"From Symbolic Perception to Logical Deduction: A Framework for Guiding Language Models in Geometric Reasoning","created":"2026-09-09","cited_by_count":0,"area":"lr"},{"id":"2609.32924","title":"Diagnosing Sampled LLM Reasoning in Formal Geometry: Coverage, Realization, and Validity Evidence","created":"2026-09-26","cited_by_count":0,"area":"lr"},{"id":"2610.04280","title":"Dense Neuro-Symbolic Reasoning in a Unified Geometry State","created":"2026-10-03","cited_by_count":0,"area":"lr"}],"next_cursor":null}