1 dataset found
- h
proof-pile
- huggingface.co
Updated Dec 25, 2022
Share
Facebook
Twitter
EmailClick to copy linkLink copiedCiteHoskinson Center for Formal Mathematics (2022). proof-pile [Dataset]. https://huggingface.co/datasets/hoskinson-center/proof-pileCroissantCroissant is a format for machine-learning datasets. Learn more about this at mlcommons.org/croissant.Dataset updatedDec 25, 2022Dataset authored and provided byHoskinson Center for Formal MathematicsLicenseApache License, v2.0https://www.apache.org/licenses/LICENSE-2.0
License information was derived automaticallyDescriptionA dataset of high quality mathematical text.
Not seeing a result you expected?
Learn how you can add new datasets to our index.
Share
FacebookTwitterEmailClick to copy link
Link copied
Cite
Hoskinson Center for Formal Mathematics (2022). proof-pile [Dataset]. https://huggingface.co/datasets/hoskinson-center/proof-pile
proof-pile
proof-pile
hoskinson-center/proof-pile
5 scholarly articles cite this dataset (View in Google Scholar)
CroissantCroissant is a format for machine-learning datasets. Learn more about this at mlcommons.org/croissant.
Dataset updated
Dec 25, 2022Dataset authored and provided by
Hoskinson Center for Formal MathematicsLicense
Apache License, v2.0https://www.apache.org/licenses/LICENSE-2.0
License information was derived automatically
Description
A dataset of high quality mathematical text.