Formal Theorem Proving on PutnamBench
87.9Solve Rate
Seed-Prover 1.5
Updated 4d ago
Evaluation Results
| Method | Links | ||
|---|---|---|---|
2025.12 | 87.9 | 580 | |
2025.12 | 75.8 | - | |
2025.12 | 70 | - | |
2025.12 | 56.1 | - | |
2025.12 | 50.4 | - |
Seed-Prover 1.5
| Method | Links | ||
|---|---|---|---|
2025.12 | 87.9 | 580 | |
2025.12 | 75.8 | - | |
2025.12 | 70 | - | |
2025.12 | 56.1 | - | |
2025.12 | 50.4 | - |