ChristianZ97/NuminaMath-LEAN-satp-buffer-dspaug-Temp download history

ChristianZ97/NuminaMath-LEAN-satp-buffer-dspaug-Temp is a text generation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 440 times (129 in the last 7 days), and 3,159 times in total. It ranks #36,608 among datasets by monthly downloads.

NuminaMath-LEAN-satp-buffer-dspaug-Temp Staging buffer for the DSP+ paper-augmentation sweep (2026-04-29). This is a -Temp variant — lemma_names / lemma_scores are empty and theorem_uuid is the join key (matches NuminaMath-LEAN-satp.uuid). Retrieval population + rename-to-uuid happens at

Open ChristianZ97/NuminaMath-LEAN-satp-buffer-dspaug-Temp on Hugging Face

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