Repair, Retry, and the Cost of Hindsight: Verifier Feedback in Formal Theorem Proving.

arXiv:2610.22698v1 Announce Type: new Abstract: Verifier-guided self-repair conditions a model on feedback from failed attempts before it tries again, without weight updates. Yet two findings in prior work are in tension: verifier feedback can improve repair o