TY  - RPRT
TI  - LeanPolish: Verified Supervision for Lean Proof Compression
AU  - Pauline Bourigault
PY  - 2026
UR  - https://arxiv.org/abs/2609.38384
ID  - 2609.38384
ER  -