SOTAVerified

Geometry Problem Solving

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

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 1–25 of 27 papers

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

No leaderboard results yet.