SOTAVerified

Geometry Problem Solving

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

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 1–27 of 27 papers

TitleStatusHype
A Survey of Deep Learning for Geometry Problem SolvingCode0
Towards Geometry Problem Solving in the Large Model Era: A Survey—0
AutoGPS: Automated Geometry Problem Solving via Multimodal Formalization and Deductive Reasoning—0
Plane Geometry Problem Solving with Multi-modal Reasoning: A Survey—0
MathCoder-VL: Bridging Vision and Code for Enhanced Multimodal Mathematical ReasoningCode3
GeoSense: Evaluating Identification and Application of Geometric Principles in Multimodal Reasoning—0
Enhancing the Geometric Problem-Solving Ability of Multimodal LLMs via Symbolic-Neural IntegrationCode1
Pi-GPS: Enhancing Geometry Problem Solving by Unleashing the Power of Diagrammatic Information—0
GeoX: Geometric Problem Solving Through Unified Formalized Vision-Language Pre-trainingCode1
Geo-LLaVA: A Large Multi-Modal Model for Solving Geometry Math Problems with Meta In-Context Learning—0
Improving Multimodal LLMs Ability In Geometry Problem Solving, Reasoning, And Multistep Scoring—0
GeoCoder: Solving Geometry Problems by Generating Modular Code through Vision-Language Models—0
Diagram Formalization Enhanced Multi-Modal Geometry Problem SolverCode1
Fuse, Reason and Verify: Geometry Problem Solving with Parsed Clauses from Diagram—0
Learning to Solve Geometry Problems via Simulating Human Dual-Reasoning ProcessCode0
BBA: Bi-Modal Behavioral Alignment for Reasoning with Large Vision-Language Models—0
FGeo-HyperGNet: Geometric Problem Solving Integrating Formal Symbolic System and Hypergraph Neural Network—0
GeoEval: Benchmark for Evaluating LLMs and Multi-Modal Models on Geometry Problem-SolvingCode1
GAPS: Geometry-Aware Problem Solver—0
E-GPS: Explainable Geometry Problem Solving via Top-Down Solver and Bottom-Up Generator—0
LANS: A Layout-Aware Neural Solver for Plane Geometry Problem—0
FormalGeo: An Extensible Formalized Framework for Olympiad Geometric Problem SolvingCode1
A Multi-Modal Neural Geometric Solver with Textual Clauses Parsed from DiagramCode1
UniGeo: Unifying Geometry Logical Reasoning via Reformulating Mathematical ExpressionCode1
PGDP5K: A Diagram Parsing Dataset for Plane Geometry ProblemsCode1
Plane Geometry Diagram ParsingCode1
Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic ReasoningCode1
Show:102550

No leaderboard results yet.