Learning to Repair Lean Proofs from Compiler Feedback. - Evan Wang; Simon Chess; Daniel Lee; Siyuan Ge; Ajit Mallavarapu; Vasily Ilin (CoRR, 2026)