Share your thoughts, 1 month free Claude Pro on usSee more
WorkDL logo mark

Formal Theorem Proving on Fate-H

80Solve Rate

Seed-Prover 1.5

-1.1219.944162.06Dec 19, 2025Dec 30, 2025Jan 11, 2026Jan 23, 2026Feb 3, 2026Feb 15, 2026Feb 27, 2026
Updated 1mo ago

Evaluation Results

MethodLinks
2025.12
80
2026.02
80
2026.02
66
2025.12
35
2026.02
3
2026.02
2
2026.02
2