Datasetpublic

hoskinson-center/proof-pile

A dataset of high quality mathematical text.

sourceHugging Faceapache-2.0updated 3y agoView on Hugging Face

68likes4.7kdownloads

file.gitattributes2 KBdownload

file.gitignore7 Bdownload

filecount_tokens.py1 KBdownload

fileexample.py654 Bdownload

fileproof-pile.py6 KBdownload

fileREADME.md5 KBdownload

filestats.json397 Bdownload

hoskinson-center/proof-pile · main · files are served by the source, never re-hosted here