lm-provers/IMOProofBench download history
lm-provers/IMOProofBench is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 1,180 times (262 in the last 7 days), and 6,210 times in total. It ranks #17,054 among datasets by monthly downloads.