emendes3/e1-proof download history
emendes3/e1-proof is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 35 times (6 in the last 7 days), and 438 times in total. It ranks #242,743 among datasets by monthly downloads.
e1-proof e1-proof contains mathematics olympiad problems and proofs. The proofs were sourced from Evan Chen's website (https://web.evanchen.cc/problems.html) and are provided here for the use of the community with Evan's permission. This dataset was collected in this work: Making Expe