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

ChristianZ97/NuminaMath-LEAN-satp-buffer-discard is a text generation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 17 times (5 in the last 7 days), and 160 times in total. It ranks #417,311 among datasets by monthly downloads.

NuminaMath-LEAN-satp-buffer Aesop tactic configurations collected during SATP (Steering Aesop for Theorem Proving) replay-buffer building, paired with the initial Lean goal_state of each theorem. Each row is one (theorem, aesop_config) → reward example, intended as positive / negative rep

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

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