Geometry Theorem Proving on HAGeo-409 Level 4-5
36Solved Count
HAGeo
Updated 4d ago
Evaluation Results
| Method | Links | ||
|---|---|---|---|
2025.11 | 36 | 0.507 | |
2025.11 | 29 | 0.408 | |
2025.11 | 18 | 0.254 | |
2025.11 | 13 | 0.183 | |
2025.11 | 13 | 0.183 |
HAGeo
| Method | Links | ||
|---|---|---|---|
2025.11 | 36 | 0.507 | |
2025.11 | 29 | 0.408 | |
2025.11 | 18 | 0.254 | |
2025.11 | 13 | 0.183 | |
2025.11 | 13 | 0.183 |