amitayusht/PutnamBench download history
amitayusht/PutnamBench is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 320 times (107 in the last 7 days), and 2,415 times in total. It ranks #46,687 among datasets by monthly downloads.
Link to the repository on GitHub: https://github.com/trishullab/PUTNAM PutnamBench PutnamBench is a benchmark for the evaluation of theorem-proving algorithms on competition mathematics problems sourced from the William Lowell Putnam Mathematical Competition years 1965 - 2023. Our formali