Automated Theorem Proving on Olympiad Plane Geometry 1.0 (test)
0.66Output Tokens (Thousands)
Gemini 2.5 Pro
Updated 1mo ago
Evaluation Results
| Method | Links | |
|---|---|---|
2026.04 | 0.66 | |
2026.04 | 0.56 | |
2026.04 | 0.4 | |
2026.04 | 0.39 | |
2026.04 | 0.28 | |
2026.04 | 0.23 |
Gemini 2.5 Pro
| Method | Links | |
|---|---|---|
2026.04 | 0.66 | |
2026.04 | 0.56 | |
2026.04 | 0.4 | |
2026.04 | 0.39 | |
2026.04 | 0.28 | |
2026.04 | 0.23 |