Proof Repair on FATE-H 1.0 (test)
97PSRM2F
Evaluation Results
| Method | Links | |
|---|---|---|
| M2FInput artifacts=+31 decl lemma map, Supervision level=light-supervision2026.02 | 97 | |
| M2FInput artifacts=fully automatic2026.02 | 96 | |
| Seed-Prover 1.52026.02 | 80 | |
| Seed-Prover 1.5Model variant=agentic prover only2026.02 | 57 | |
| Seed-Prover 1.0Model variant=medium2026.02 | 35 |