NaturalProofs

NaturalProofs 数据集是用于研究自然语言中的数学推理的大规模数据集。 NaturalProofs 包含大约 20,000 个定理陈述和证明、12,500 个定义和 1,000 个附加页面（例如公理、推论），这些页面来自 ProofWiki，这是一个由贡献者社区编写的在线数学证明纲要。