Dataset · Hugging Face

EleutherAI/proof-pile-2

Name: proof-pile-2
Creator: EleutherAI
Keywords: task_categories:text-generation, language:en, size_categories:10B<n<100B, arxiv:2310.10631, arxiv:2310.06786, region:us, math

A dataset of high quality mathematical text.

View on Hugging FaceReport an issue

Author / organization	EleutherAI
Downloads	33K (as reported by Hugging Face)
Likes	241
Created	12 October 2023
Last updated at source	25 October 2023

math

Embed this entry

<iframe src="https://silytics.si/embed/item/dd36d161-0217-4b85-a6d6-2370d5acc8bb" width="420" height="190" style="border:0" loading="lazy" title="Silytics entry"></iframe>

Free, no tracking. More about feeds and embeds.

More from EleutherAI

EleutherAI/hendrycks_mathDataset
EleutherAI/lambada_openaiDataset
EleutherAI/wikitext_document_levelDataset
EleutherAI/headqaDataset
EleutherAI/asdivDataset
EleutherAI/the_pile_deduplicatedDataset

Silytics shows public metadata from Hugging Face and links to the original. Information may be incomplete or out of date. Last refreshed 14 October 2026. Licenses and terms of the original apply to the work itself. Not financial, legal or professional advice.