Formal Theorem Proving on UniGeo (10)
4.1Proof Length
GPT-5.3-Codex
Updated 1mo ago
Evaluation Results
| Method | Links | |
|---|---|---|
2026.04 | 4.1 | |
2026.04 | 5.2 | |
2026.04 | 5.6 | |
2026.04 | 6.2 | |
2026.04 | 7 | |
2026.04 | 7.3 |
GPT-5.3-Codex
| Method | Links | |
|---|---|---|
2026.04 | 4.1 | |
2026.04 | 5.2 | |
2026.04 | 5.6 | |
2026.04 | 6.2 | |
2026.04 | 7 | |
2026.04 | 7.3 |