Automated Theorem Proving on Library Plane Geometry 1.0 (test)
0.08Output Tokens (Thousands)
GPT-5.3-Codex
Updated 1mo ago
Evaluation Results
| Method | Links | |
|---|---|---|
2026.04 | 0.08 | |
2026.04 | 0.14 | |
2026.04 | 0.2 | |
2026.04 | 0.25 | |
2026.04 | 0.27 | |
2026.04 | 0.28 |
GPT-5.3-Codex
| Method | Links | |
|---|---|---|
2026.04 | 0.08 | |
2026.04 | 0.14 | |
2026.04 | 0.2 | |
2026.04 | 0.25 | |
2026.04 | 0.27 | |
2026.04 | 0.28 |