Formal Theorem Proving on Combibench
48Solve Rate
Seed-Prover 1.5
Updated 1mo ago
Evaluation Results
| Method | Links | |
|---|---|---|
2025.12 | 48 | |
2025.12 | 39 | |
2026.04 | 2.05 | |
2026.04 | 1.96 | |
2026.04 | 1.89 | |
2026.04 | 1.31 | |
2026.04 | 0.93 | |
2026.04 | 0.75 | |
2026.04 | 0.64 | |
2026.04 | 0.59 | |
2026.04 | 0.58 | |
2026.04 | 0.42 | |
2026.04 | 0.41 | |
2026.04 | 0.32 | |
2026.04 | 0.12 |