ChristianZ97/NuminaMath-LEAN-satp-buffer download history

ChristianZ97/NuminaMath-LEAN-satp-buffer is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 20 times (2 in the last 7 days), and 601 times in total. It ranks #374,650 among datasets by monthly downloads.

NuminaMath-LEAN-satp-buffer Replay buffer dataset for the SATP (single-GPU Aesop RL) project. Each row is one training-time experience snapshot: a (goal, success_arm?, failure_arm?, diff_head?) tuple keyed by canonical aesop tactic strings. Schema (v2-prefixed, 2026-05-04) Colu

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

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