NP235/proof-pile-2 download history
NP235/proof-pile-2 is a text generation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 450 times (241 in the last 7 days), and 1,456 times in total. It ranks #35,993 among datasets by monthly downloads.
A dataset of high quality mathematical text.