TY  - RPRT
TI  - Distilling LLM Feedback for Lean Theorem Proving
AU  - Gaetan Narozniak
AU  - Gérard Biau
AU  - Rémi Munos
AU  - Ahmad Rammal
AU  - Pierre Marion
PY  - 2026
UR  - https://arxiv.org/abs/2605.30861
ID  - 2605.30861
ER  -