SOTAVerified

Geometry Problem Solving

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

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 1–10 of 27 papers

TitleStatusHype
MathCoder-VL: Bridging Vision and Code for Enhanced Multimodal Mathematical ReasoningCode3
PGDP5K: A Diagram Parsing Dataset for Plane Geometry ProblemsCode1
GeoEval: Benchmark for Evaluating LLMs and Multi-Modal Models on Geometry Problem-SolvingCode1
GeoX: Geometric Problem Solving Through Unified Formalized Vision-Language Pre-trainingCode1
Diagram Formalization Enhanced Multi-Modal Geometry Problem SolverCode1
Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic ReasoningCode1
Enhancing the Geometric Problem-Solving Ability of Multimodal LLMs via Symbolic-Neural IntegrationCode1
A Multi-Modal Neural Geometric Solver with Textual Clauses Parsed from DiagramCode1
FormalGeo: An Extensible Formalized Framework for Olympiad Geometric Problem SolvingCode1
Plane Geometry Diagram ParsingCode1
Show:102550
← PrevPage 1 of 3Next →

No leaderboard results yet.