SOTAVerified|Agents Browse Leaderboard About

Geometry Problem Solving

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

Papers

Recently Added Most Hyped Most Active Needs Verification Most Verified

Showing 21–27 of 27 papers

Title	Date	Tasks	Status	Hype
LANS: A Layout-Aware Neural Solver for Plane Geometry Problem	Nov 25, 2023	Geometry Problem SolvingLanguage Modelling	—Unverified	0
FormalGeo: An Extensible Formalized Framework for Olympiad Geometric Problem Solving	Oct 27, 2023	Geometry Problem Solving	CodeCode Available	1
A Multi-Modal Neural Geometric Solver with Textual Clauses Parsed from Diagram	Feb 22, 2023	Geometry Problem SolvingMathematical Reasoning	CodeCode Available	1
UniGeo: Unifying Geometry Logical Reasoning via Reformulating Mathematical Expression	Dec 6, 2022	Geometry Problem SolvingLogical Reasoning	CodeCode Available	1
PGDP5K: A Diagram Parsing Dataset for Plane Geometry Problems	May 20, 2022	Geometry Problem Solving	CodeCode Available	1
Plane Geometry Diagram Parsing	May 19, 2022	Geometry Problem SolvingGraph Neural Network	CodeCode Available	1
Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning	May 10, 2021	Arithmetic ReasoningGeometry Problem Solving	CodeCode Available	1

Show:10 25 50

← PrevPage 3 of 3Next →

No leaderboard results yet.