Independent project. Not a U.S. government website.

Support our project (opens Buy Me a Coffee)
USASI
Generated amber layered-card artwork for the dataset EleutherAI/proof-pile-2, labeled USASI · AI on Hugging Face, with Task: Text generation · License: No license given.
DatasetRank #268 of 836 242 likes

proof-pile-2

by EleutherAI (organization)

A dataset of high quality mathematical text. (excerpt from the dataset card on Hugging Face)

Dataset facts

Hub id
EleutherAI/proof-pile-2
Likes
242
Downloads (last 30 days)
30,341
Tasks
Text generation
Modality
Not given
Size
10B to 100B examples
License
No license given
Access
Open download
Author
EleutherAI · Organization
Languages
en
Created
Oct 12, 2023
Last modified
Oct 25, 2023

Rank #268 of 836 datasets in AI on Hugging Face, by likes. Data from the Hugging Face Hub API, fetched Oct 18, 2026. Likes measure popularity, not quality or safety. Downloads are for the last 30 days, as the Hub reports them; counts change daily. A listing is not an endorsement. How this list is made

More datasets from EleutherAI

Support Us

Help keep USASI useful.

Optional. No USASI account required. Payment takes place on the linked provider’s website (Buy Me a Coffee).

About supporting this project