TY  - RPRT
TI  - Learning to Repair Lean Proofs from Compiler Feedback
AU  - Evan Wang
AU  - Simon Chess
AU  - Daniel Lee
AU  - Siyuan Ge
AU  - Ajit Mallavarapu
AU  - Jarod Alper
AU  - Vasily Ilin
PY  - 2026
UR  - https://arxiv.org/abs/2602.02990
ID  - 2602.02990
ER  -