ChristianZ97/putnambench-satp-v4.27 download history

ChristianZ97/putnambench-satp-v4.27 is a text generation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 21 times (5 in the last 7 days), and 99 times in total. It ranks #361,218 among datasets by monthly downloads.

putnambench-satp-v4.27 PutnamBench Lean 4 problems normalized for SATP evaluation, packaged for Lean 4.27.0 with initial proof goal_state values. Source The single source is trishullab/PutnamBench@dc18909 (lean4/src/putnam_*.lean + informal/putnam.json); the upstream le

Open ChristianZ97/putnambench-satp-v4.27 on Hugging Face

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