Geometry Theorem Proving on IMO-30 (test)
28Solved ProblemsHAGeo
Evaluation Results
| Method | Links | |
|---|---|---|
| HAGeototal time limit=1.5 hours2025.11 | 28 | |
| Random Auxiliary points + DDAR2025.11 | 25 | |
| AlphaGeometrybeam search (beam, batch, depth)=(16, 64, 8), total time limit=1.5 hours2025.11 | 24 | |
| DDARtime limit per problem=60 seconds2025.11 | 15 |