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

ChristianZ97/NuminaMath-LEAN-satp-buffer-pairs-Temp is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 149 times (7 in the last 7 days), and 1,998 times in total. It ranks #85,279 among datasets by monthly downloads.

NuminaMath-LEAN-satp-buffer-pairs-Temp Staging snapshot of (theorem, succ_config, fail_config) pairs mined from the local expert_dspaug_*/{successes,failures}_shard_*.jsonl runs of workspace/scripts/run_dspaug_minimal_chain.sh over the ChristianZ97/NuminaMath-LEAN-satp train split. Schema

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

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