ChristianZ97/NuminaMath-LEAN-SATP-cleaned download history

ChristianZ97/NuminaMath-LEAN-SATP-cleaned is an other dataset on the Hugging Face Hub. In the last 30 days it was downloaded 10 times (2 in the last 7 days), and 186 times in total. It ranks #570,584 among datasets by monthly downloads.

NuminaMath-LEAN-SATP-cleaned Minimal SATP training-set slice derived from ChristianZ97/NuminaMath-LEAN-cleaned. Two columns only — a stable theorem identifier and the Lean 4 theorem text — so the repo stays cheap to distribute and straightforward to join with the SATP replay buffer.

Open ChristianZ97/NuminaMath-LEAN-SATP-cleaned on Hugging Face

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