EleutherAI/proof-pile-2 download history
EleutherAI/proof-pile-2 is a text generation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 33,243 times (8,452 in the last 7 days), and 251,571 times in total. It ranks #810 among datasets by monthly downloads.
A dataset of high quality mathematical text.
Models trained on proof-pile-2
156 models list it as training data.
- stabilityai/stable-code-3b 7.3K downloads in 30 days
- mradermacher/stable-code-3b-i1-GGUF 3.9K downloads in 30 days
- mradermacher/stable-code-3b-GGUF 2.3K downloads in 30 days
- marin-community/marin-8b-base 1.8K downloads in 30 days
- TheBloke/stable-code-3b-GGUF 1.7K downloads in 30 days
- mradermacher/marin-8b-base-i1-GGUF 1.5K downloads in 30 days
- mradermacher/Mistral_Pro_8B_v0.1-i1-GGUF 1.1K downloads in 30 days
- mradermacher/smol_llama-4x220M-MoE-i1-GGUF 855 downloads in 30 days
- mradermacher/llemma_7b-i1-GGUF 775 downloads in 30 days
- QuantFactory/stable-code-3b-GGUF 760 downloads in 30 days
- EleutherAI/llemma_7b 722 downloads in 30 days
- TheBloke/llemma_7b-GGUF 714 downloads in 30 days
Spaces using proof-pile-2
- Model Pulse 8 likes