Geometry Problem Solving

Description from the archive archive 2025-07-28.

Benchmarks archive 2025-07-28

No benchmark for this task in the archive.

Libraries

Not in the archive: the export carries no per-task library table, so there is nothing to show at snapshot 2025-07-28.

Datasets archive 2025-07-28

No dataset record in the archive lists this task.

Subtasks archive 2025-07-28

No subtask under this task in the archive's task tree.

Parent tasks archive 2025-07-28

Most implemented papers archive 2025-07-28

12 shown of 12 papers with code (27 tagged with this task in all), ordered by repositories listed in the archive, not by stars (the archive holds no stars, so PwC's “Social” and “Latest” sorts cannot be reproduced). Papers without a page here are shown as plain text.

• GeoX: Geometric Problem Solving Through Unified Formalized Vision-Language Pre-training
  16 Dec 2024 2 repositories listed Syntology ran 2 of 7 samples · 5 unverified · 7 pointer-only (licence)
  Given the significant differences between geometric diagram-symbol and natural image-text, we introduce unimodal pre-training to develop a diagram encoder and symbol decoder, enhancing the understanding of geometric…
• FormalGeo: An Extensible Formalized Framework for Olympiad Geometric Problem Solving
  27 Oct 2023 2 repositories listed
  In this paper, we have constructed a consistent formal plane geometry system.
• UniGeo: Unifying Geometry Logical Reasoning via Reformulating Mathematical Expression
  6 Dec 2022 2 repositories listed Syntology ran 2 of 4 samples · 2 unverified · 4 pointer-only (licence)
  Naturally, we also present a unified multi-task Geometric Transformer framework, Geoformer, to tackle calculation and proving problems simultaneously in the form of sequence generation, which finally shows the reasoning…
• MathCoder-VL: Bridging Vision and Code for Enhanced Multimodal Mathematical Reasoning
  15 May 2025 1 repository listed Syntology ran 2 of 2 samples · 0 unverified · 2 pointer-only (licence)
  Natural language image-caption datasets, widely used for training Large Multimodal Models, mainly focus on natural scenarios and overlook the intricate details of mathematical figures that are critical for…
• Enhancing the Geometric Problem-Solving Ability of Multimodal LLMs via Symbolic-Neural Integration
  17 Apr 2025 1 repository listed
  This improvement stems from our integration of the strengths of LLMs and symbolic systems, which enables a more reliable and interpretable approach for the GPS task.
• Diagram Formalization Enhanced Multi-Modal Geometry Problem Solver
  6 Sep 2024 1 repository listed
  Mathematical reasoning remains an ongoing challenge for AI models, especially for geometry problems that require both linguistic and visual signals.
• Learning to Solve Geometry Problems via Simulating Human Dual-Reasoning Process
  10 May 2024 1 repository listed
  Knowledge System controls an implicit reasoning process, which is responsible for providing diagram information and geometry knowledge according to a step-wise reasoning goal generated by Inference System.
• GeoEval: Benchmark for Evaluating LLMs and Multi-Modal Models on Geometry Problem-Solving
  15 Feb 2024 1 repository listed Syntology ran 13 of 14 samples · 1 unverified · 14 pointer-only (licence)
  To address this gap, we introduce the GeoEval benchmark, a comprehensive collection that includes a main subset of 2, 000 problems, a 750 problems subset focusing on backward reasoning, an augmented subset of 2, 000…
• A Multi-Modal Neural Geometric Solver with Textual Clauses Parsed from Diagram
  22 Feb 2023 1 repository listed Syntology ran 4 of 7 samples · 3 unverified
  Geometry problem solving (GPS) is a high-level mathematical reasoning requiring the capacities of multi-modal fusion and geometric knowledge application.
• PGDP5K: A Diagram Parsing Dataset for Plane Geometry Problems
  20 May 2022 1 repository listed
  An appropriate dataset is critical for the research of PGDP.
• Plane Geometry Diagram Parsing
  19 May 2022 1 repository listed Syntology ran 1 of 3 samples · 2 unverified
  Geometry diagram parsing plays a key role in geometry problem solving, wherein the primitive extraction and relation parsing remain challenging due to the complex layout and between-primitive relationship.
• Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning
  10 May 2021 1 repository listed Syntology ran 1 of 2 samples · 1 unverified
  We further propose a novel geometry solving approach with formal language and symbolic reasoning, called Interpretable Geometry Problem Solver (Inter-GPS).

Syntology lines on 7 of the papers shown; no Syntology record for the others (a paper without an arXiv id cannot be joined to the graph, and absence from the graph layer is not a recorded non-run). “Ran” means the sample executed on a synthesized fixture, not that the paper's result was reproduced. Read from the graph 2026-09-24.