Geometry Theorem Proving
Benchmarks
DatasetSOTA methodMetricTrendResultsLast updated
287Solved Count
5
Feb 26, 2026
2Solved Count
5
Feb 26, 2026
7Solved Count
5
Feb 26, 2026
36Solved Count
5
Feb 26, 2026
93Solved Count
5
Feb 26, 2026
149Solved Count
5
Feb 26, 2026
28Solved Problems
4
Feb 26, 2026