Our new X account is live! Follow @wizwand_team for updates
Home
/
Benchmarks
Formal Theorem Proving on Fate-H
Loading...
80
Solve Rate
Seed-Prover 1.5
33.2
45.35
57.5
69.65
Dec 19, 2025
Solve Rate
Updated 4d ago
Evaluation Results
Method
Method
Links
Solve Rate
Seed-Prover 1.5
Compute Budget=10 H20...
2025.12
80
Seed-Prover 1.0 (medium)
Compute Budget=18 H20...
2025.12
35
Feedback
Search any
task
Search any
task
