leanpolish-anon/lean-proof-compression download history

leanpolish-anon/lean-proof-compression is a text generation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 529 times (138 in the last 7 days), and 1,796 times in total. It ranks #31,734 among datasets by monthly downloads.

LeanPolish: Verified Supervision for Lean Proof Compression A dataset of Lean 4 proof rewrite pairs produced by LeanPolish, a kernel-verified proof-shortening tool. Every accepted (original, replacement) pair was kernel-checked under Lean 4.21.0 with Mathlib v4.21.0 before emission, a

Open leanpolish-anon/lean-proof-compression on Hugging Face

Sister project: Paper Pulse, the upvote history of every Hugging Face Daily Paper.