Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Proof Repair on FATE-H 1.0 (test)
Loading...
97
PSR
M2F
32.52
49.26
66
82.74
Feb 19, 2026
PSR
Updated 1mo ago
Evaluation Results
Method
Method
Links
PSR
M2F
Input artifacts=+31 de...
2026.02
97
M2F
Input artifacts=fully...
2026.02
96
Seed-Prover 1.5
2026.02
80
Seed-Prover 1.5
Model variant=agentic...
2026.02
57
Seed-Prover 1.0
Model variant=medium
2026.02
35
Feedback
Search any
task
Search any
task
