Hwilner/imo-proofbench download history

Hwilner/imo-proofbench is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 78 times (17 in the last 7 days), and 787 times in total. It ranks #136,968 among datasets by monthly downloads.

IMO-ProofBench Dataset Description IMO-ProofBench is a benchmark dataset for evaluating the proof-writing capabilities of large language models. It consists of 60 challenging proof-based problems from the International Mathematical Olympiad (IMO) and other sources. This dataset

Open Hwilner/imo-proofbench on Hugging Face

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