Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Formal Theorem Proving on Fate-X
Loading...
33
Solve Rate
Seed-Prover 1.5
8.04
14.52
21
27.48
Dec 19, 2025
Solve Rate
Updated 1mo ago
Evaluation Results
Method
Method
Links
Solve Rate
Seed-Prover 1.5
Compute Budget=10 H20...
2025.12
33
Seed-Prover 1.0 (medium)
Compute Budget=18 H20...
2025.12
9
Feedback
Search any
task
Search any
task
