Automated Theorem Proving on Olympiad Plane Geometry 1.0 (test)
0.66Output Tokens (Thousands)Gemini 2.5 Pro
Evaluation Results
| Method | Links | |
|---|---|---|
| Gemini 2.5 ProSystem Category=Proprietary LLMs, Base Model=Gemini 2.5 Pro2026.04 | 0.66 | |
| Gemini 3.1 ProSystem Category=Proprietary LLMs, Base Model=Gemini 3.1 Pro2026.04 | 0.56 | |
| DreamProverSystem Category=Lemma Learning System, Base Model=Gemini 2.5 Pro2026.04 | 0.4 | |
| DreamProverSystem Category=Lemma Learning System, Base Model=Gemini 3.1 Pro2026.04 | 0.39 | |
| GPT-5.3-CodexSystem Category=Proprietary LLMs, Base Model=GPT-5.3-Codex2026.04 | 0.28 | |
| DreamProverSystem Category=Lemma Learning System, Base Model=GPT-5.3-Codex2026.04 | 0.23 |