Formal Theorem Proving on Fate-X
33Solve RateSeed-Prover 1.5
Evaluation Results
| Method | Links | |
|---|---|---|
| Seed-Prover 1.5Compute Budget=10 H20 days / problem2025.12 | 33 | |
| Seed-Prover 1.0 (medium)Compute Budget=18 H20 days / problem2025.12 | 9 |
Loading the SOTA2 catalog…