A dataset of high quality mathematical text.
1proofpile_dev.jsonl.gz filter=lfs diff=lfs merge=lfs -text2
