{"type": "article", "title": "LeanPolish: Verified Supervision for Lean Proof Compression", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/leanpolish-verified-supervision-for-lean-proof-compression", "original_source": "https://arxiv.org/abs/2609.38384", "published": "2026-10-02T04:00:00+00:00", "accessed": "2026-10-02", "id": "leanpolish-verified-supervision-for-lean-proof-compression"}