ChristianZ97/putnambench-satp download history

ChristianZ97/putnambench-satp is a text generation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 29 times (4 in the last 7 days), and 177 times in total. It ranks #281,348 among datasets by monthly downloads.

PutnamBench-SATP — Lean 4 (672 problems, SATP-normalized) PutnamBench Lean 4 problems normalized for the SATP-DSP-Eval pipeline. Upstream: trishullab/PutnamBench (lean4/src/*.lean + informal/putnam.json, parsed via this repo's datasets/putnam_bench/parse_lean4.py). Differences fro

Open ChristianZ97/putnambench-satp on Hugging Face

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