Published June 4, 2021
| Version 2.0.0
Dataset
Open
NaturalProofs Dataset
- 1. University of Washington
- 2. Allen Institute for Artificial Intelligence
- 3. New York University
Description
The NaturalProofs Dataset is a multi-domain corpus for studying mathematical reasoning in natural language. NaturalProofs consists of roughly 30,000 theorem statements and proofs, 15,000 definitions, and 2,000 additional pages (e.g. axioms, corollaries), written in natural mathematical language. NaturalProofs contains broad-coverage data from ProofWiki, deep-coverage data from the Stacks project, and low-resource data from mathematics textbooks. NaturalProofs unifies these sources in a common schema and is made publicly available as a resource to drive progress on tasks involving informal mathematics.
Please see the description in [Welleck et al 2021], and its corresponding GitHub repository for more details.
Files
naturalproofs_proofwiki.json
Files
(167.6 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:de0990a82a670c9f6389f4d0a5fab33b
|
365 Bytes | Download |
|
md5:f6d0cfcbfa91b47c9390ca654351fa46
|
116.8 MB | Preview Download |
|
md5:1cc83913a9d34d469e9e75d693d8a404
|
49.7 MB | Preview Download |
|
md5:18fe1c9173318490a2eded9d26037cc2
|
6.3 kB | Download |
|
md5:cdbc1151d7e064a5149403eabf5bc3b0
|
1.0 MB | Preview Download |
Additional details
Related works
- Is documented by
- Preprint: https://arxiv.org/pdf/2104.01112.pdf (URL)
- Is supplemented by
- Other: https://github.com/wellecks/naturalproofs (URL)