ChristianZ97/NuminaMath-LEAN-satp-buffer-v1-backup download history

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

NuminaMath-LEAN-satp-buffer-v1-backup Frozen backup of the pre-2026-05-03 schema of ChristianZ97/NuminaMath-LEAN-satp-buffer. Preserved for reproducibility of pre-v2 SATP runs. New work uses the v2 repo. v1 schema (one row per (config, reward) pair) Column Type uuid

Open ChristianZ97/NuminaMath-LEAN-satp-buffer-v1-backup on Hugging Face

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