Euclidean Geometry Problem Solving on IMO-95
63Solved ProblemsGenesisGeo (Vision + Text)
Evaluation Results
| Method | Links | |
|---|---|---|
| GenesisGeo (Vision + Text)Model Size=2B, Search Budget=32×512×42025.09 | 63 | |
| GenesisGeo (Engine)Model Size=-, Search Budget=40962025.09 | 59 | |
| GenesisGeo (Engine)Model Size=-, Search Budget=81922025.09 | 59 | |
| GenesisGeo (Text)Model Size=2B, Search Budget=32×512×42025.09 | 59 | |
| GenesisGeo (Engine)Model Size=-, Search Budget=20482025.09 | 56 | |
| Newclid 3.0Model Size=-, Search Budget=81922025.09 | 51 | |
| Newclid 3.0Model Size=-, Search Budget=40962025.09 | 50 | |
| Newclid 3.0Model Size=-, Search Budget=20482025.09 | 47 | |
| AG2 (Engine)Model Size=-, Search Budget=81922025.09 | 42 | |
| AG2 (Engine)Model Size=-, Search Budget=20482025.09 | 41 | |
| AG2 (Engine)Model Size=-, Search Budget=40962025.09 | 41 | |
| AG1Model Size=151M, Search Budget=32×512×42025.09 | 11 | |
| Newclid 3.0Model Size=-, Search Budget=02025.09 | 2 | |
| GenesisGeo (Engine)Model Size=-, Search Budget=02025.09 | 2 | |
| AG2 (Engine)Model Size=-, Search Budget=02025.09 | 1 |