Beta
Explore
Marketplace
Neural Labs
Chat
Wallet
Docs
proof-pile – Dataset by hoskinson-center | AlphaNeural AI
You can deploy this model and start earning money today!
hoskinson-center
/
proof-pile
like
0
text-generation
language-modeling
no-annotation
found
monolingual
en
apache-2.0
100K<n<1M
text
datasets
mlcroissant
us
math
mathematics
formal-mathematics
Views
No views yet
Model card
Files and Versions
Community
API
A dataset of high quality mathematical text.
