Automated Theorem Proving on FATE-X
33Pass RateSeed-Prover 1.5
Evaluation Results
| Method | Links | |
|---|---|---|
| Seed-Prover 1.52026.02 | 33 | |
| AxProverBaseunderlying LLM=Opus 4.5, thinking budget=32k, iterations=502026.02 | 24 | |
| DeepSeek V22026.02 | 0 | |
| Goedel Prover V22026.02 | 0 | |
| Kimina Prover2026.02 | 0 |