ChristianZ97/NuminaMath-LEAN-satp-gaps-v4.27 download history

ChristianZ97/NuminaMath-LEAN-satp-gaps-v4.27 is a text generation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 12 times (3 in the last 7 days), and 114 times in total. It ranks #514,336 among datasets by monthly downloads.

NuminaMath-LEAN-satp-gaps-v4.27 Lean 4 sub-goal (gap) dataset harvested from natural-language draft → Lean sketch → real-Lean goal-state extraction over the NuminaMath-LEAN formal statement pool, gated for Lean 4.27.0. Each row is one open hole (sorry) inside a sketch, paired with the

Open ChristianZ97/NuminaMath-LEAN-satp-gaps-v4.27 on Hugging Face

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