ChristianZ97/PutnamBench-lean4 download history

ChristianZ97/PutnamBench-lean4 is a text generation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 84 times (22 in the last 7 days), and 444 times in total. It ranks #129,979 among datasets by monthly downloads.

PutnamBench — Lean 4 (672 problems) Lean 4 formalizations from PutnamBench, a benchmark of problems from the William Lowell Putnam Mathematical Competition (1962-2023). Converted from the official GitHub repository for convenient HuggingFace datasets access. Citation @article{t

Open ChristianZ97/PutnamBench-lean4 on Hugging Face

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