Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Automated Theorem Proving on FATE-X
Loading...
33
Pass Rate
Seed-Prover 1.5
-1.32
7.59
16.5
25.41
Feb 27, 2026
Pass Rate
Updated 1mo ago
Evaluation Results
Method
Method
Links
Pass Rate
Seed-Prover 1.5
2026.02
33
AxProverBase
underlying LLM=Opus 4....
2026.02
24
DeepSeek V2
2026.02
0
Goedel Prover V2
2026.02
0
Kimina Prover
2026.02
0
Feedback
Search any
task
Search any
task
