# Geometry Problem Solving

8 papers with code • 0 benchmarks • 0 datasets

Geometry problem solving with geometry diagrams and (formal) problem descriptions.

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

1

# Plane Geometry Diagram Parsing

19 May 2022

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.

1

# PGDP5K: A Diagram Parsing Dataset for Plane Geometry Problems

20 May 2022

An appropriate dataset is critical for the research of PGDP.

1

# UniGeo: Unifying Geometry Logical Reasoning via Reformulating Mathematical Expression

6 Dec 2022

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.

1

# A Multi-Modal Neural Geometric Solver with Textual Clauses Parsed from Diagram

22 Feb 2023

Geometry problem solving (GPS) is a high-level mathematical reasoning requiring the capacities of multi-modal fusion and geometric knowledge application.

1

# FormalGeo: An Extensible Formalized Framework for Olympiad Geometric Problem Solving

27 Oct 2023

In this paper, we have constructed a consistent formal plane geometry system.

1

# GeoEval: Benchmark for Evaluating LLMs and Multi-Modal Models on Geometry Problem-Solving

15 Feb 2024

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

1

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

18 Feb 2024

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.

1