Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Formal Theorem Proving on Combibench
Loading...
48
Solve Rate
Seed-Prover 1.5
38.64
41.07
43.5
45.93
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
48
Seed-Prover 1.0 (medium)
Compute Budget=18 H20...
2025.12
39
Feedback
Search any
task
Search any
task
