NaturalProofs Dataset
收藏数据链接：
官方服务：
资源简介：
The NaturalProofs Dataset is a large-scale dataset for studying mathematical reasoning in natural language. NaturalProofs consists of roughly 20,000 theorem statements and proofs, 12,500 definitions, and 1,000 additional pages (e.g. axioms, corollaries) derived from ProofWiki, an online compendium of mathematical proofs written by a community of contributors. Please see the description in [Welleck et al 2021] for more details.
提供机构：
Zenodo创建时间：
2021-03-26
