ChristianZ97/NuminaMath-LEAN-satp-gaps download history

ChristianZ97/NuminaMath-LEAN-satp-gaps is a text generation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 25 times (4 in the last 7 days), and 743 times in total. It ranks #316,899 among datasets by monthly downloads.

NuminaMath-LEAN-satp-gaps 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. Each row is one open hole (sorry) inside a sketch, paired with the exact Lean goal-state at that ho

Open ChristianZ97/NuminaMath-LEAN-satp-gaps on Hugging Face

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