Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Geometry Theorem Proving on IMO-30 (test)
Loading...
28
Solved Problems
HAGeo
14.48
17.99
21.5
25.01
Nov 27, 2025
Solved Problems
Updated 1mo ago
Evaluation Results
Method
Method
Links
Solved Problems
HAGeo
total time limit=1.5 h...
2025.11
28
Random Auxiliary points + DDAR
2025.11
25
AlphaGeometry
beam search (beam, bat...
2025.11
24
DDAR
time limit per problem...
2025.11
15
Feedback
Search any
task
Search any
task
