ChristianZ97/NuminaMath-LEAN-satp-buffer-ablation download history

ChristianZ97/NuminaMath-LEAN-satp-buffer-ablation is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 16 times (1 in the last 7 days), and 169 times in total. It ranks #433,426 among datasets by monthly downloads.

NuminaMath-LEAN-satp-buffer-ablation Frozen baseline buffer for ablation experiments. Captured 2026-05-15 from ChristianZ97/NuminaMath-LEAN-satp-buffer before downstream ablation runs overwrite it. Pinned reproduction handles Component Pin HF dataset (this repo) tag

Open ChristianZ97/NuminaMath-LEAN-satp-buffer-ablation on Hugging Face

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