brando/putnam_bench_informal download history

brando/putnam_bench_informal is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 15 times (5 in the last 7 days), and 465 times in total. It ranks #451,834 among datasets by monthly downloads.

Note: this is not my work, just uploading for convinience, please cite them. Dataset Card for PutnamBench Dataset Description PutnamBench is a benchmark designed to evaluate theorem-proving algorithms on mathematics problems from the William Lowell Putnam Mathematical Competit

Open brando/putnam_bench_informal on Hugging Face

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