hoskinson-center/proof-pile download history
hoskinson-center/proof-pile is a text generation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 4,094 times (400 in the last 7 days), and 136,047 times in total. It ranks #6,637 among datasets by monthly downloads.
A dataset of high quality mathematical text.
Models trained on proof-pile
35 models list it as training data.
- BSC-LT/salamandra-7b-instruct 26.4K downloads in 30 days
- BSC-LT/salamandra-2b-instruct 3.2K downloads in 30 days
- BSC-LT/ALIA-40b 1.8K downloads in 30 days
- BSC-LT/salamandra-7b 1.7K downloads in 30 days
- BSC-LT/salamandra-2b 1.6K downloads in 30 days
- mradermacher/ALIA-40b-i1-GGUF 1.2K downloads in 30 days
- mradermacher/salamandra-2b-instruct-i1-GGUF 879 downloads in 30 days
- mradermacher/salamandra-2b-instruct-GGUF 662 downloads in 30 days
- mradermacher/ALIA-40b-GGUF 492 downloads in 30 days
- tensorblock/ALIA-40b-GGUF 269 downloads in 30 days
- tensorblock/salamandra-2b-instruct-GGUF 222 downloads in 30 days
- tensorblock/salamandra-7b-instruct-GGUF 189 downloads in 30 days