# Geometry Problem Solving

8 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

# Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning

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.

# 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.

# 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

Yet, their proficiency in tackling geometry math problems, which necessitates an integrated understanding of both textual and visual information, has not been thoroughly evaluated.

# FGeo-HyperGNet: Geometry Problem Solving Integrating Formal Symbolic System and Hypergraph Neural Network

The symbolic part is a formal system built on FormalGeo, which can automatically perform geomertic relational reasoning and algebraic calculations and organize the solving process into a solution hypertree with conditions as hypernodes and theorems as hyperedges.