LeanPolish: Verified supervision for Lean proof compression
Read the original at arxiv.org→arXiv:2609.38384v1 Announce Type: new Abstract: Verified proof edits offer a natural source of supervision for improving language-model-generated Lean proofs. Yet verification establishes that an edit is correct,...
Original headline: "LeanPolish: Verified Supervision for Lean Proof Compression"
Coverage timeline
- Oct 1, 04:00 UTC arXiv cs.LG lead source LeanPolish: Verified Supervision for Lean Proof Compression