Theorem Proving on ProverBench
5.5Proof Length
Claude 4.6 Opus
Updated 1mo ago
Evaluation Results
| Method | Links | |
|---|---|---|
2026.04 | 5.5 | |
2026.04 | 6.6 | |
2026.04 | 12.7 | |
2026.04 | 12.8 | |
2026.04 | 19.6 | |
2026.04 | 21.7 | |
2026.04 | 34.1 | |
2026.04 | 41.8 | |
2026.04 | 41.8 | |
2026.04 | 45.8 | |
2026.04 | 51.7 | |
2026.04 | 65.7 | |
2026.04 | 67.3 |