Geometry Problem Solving
12 papers with code • 0 benchmarks • 0 datasets
Geometry problem solving with geometry diagrams and (formal) problem descriptions.
Benchmarks
These leaderboards are used to track progress in Geometry Problem Solving
Most implemented papers
UniGeo: Unifying Geometry Logical Reasoning via Reformulating Mathematical Expression
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 ability can be improved on both two tasks by unifying formulation.
GeoX: Geometric Problem Solving Through Unified Formalized Vision-Language Pre-training
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 images and corpora.
Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning
lupantech/InterGPS
•
•
ACL 2021
We further propose a novel geometry solving approach with formal language and symbolic reasoning, called Interpretable Geometry Problem Solver (Inter-GPS).
Plane Geometry Diagram Parsing
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.
PGDP5K: A Diagram Parsing Dataset for Plane Geometry Problems
An appropriate dataset is critical for the research of PGDP.
A Multi-Modal Neural Geometric Solver with Textual Clauses Parsed from Diagram
Geometry problem solving (GPS) is a high-level mathematical reasoning requiring the capacities of multi-modal fusion and geometric knowledge application.
FormalGeo: An Extensible Formalized Framework for Olympiad Geometric Problem Solving
In this paper, we have constructed a consistent formal plane geometry system.
GeoEval: Benchmark for Evaluating LLMs and Multi-Modal Models on Geometry Problem-Solving
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 problems, and a hard subset of 300 problems.
Learning to Solve Geometry Problems via Simulating Human Dual-Reasoning Process
tongxiao2002/dualgeosolver
•
•
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.
Diagram Formalization Enhanced Multi-Modal Geometry Problem Solver
zezeze97/DFE-GPS
•
•
Mathematical reasoning remains an ongoing challenge for AI models, especially for geometry problems that require both linguistic and visual signals.
