HaimingW/miniF2F-test-lean4 download history

HaimingW/miniF2F-test-lean4 is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 108 times (13 in the last 7 days), and 2,745 times in total. It ranks #107,703 among datasets by monthly downloads.

Open HaimingW/miniF2F-test-lean4 on Hugging Face

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