NaturalProofs 数学推理数据集

NaturalProofs 数据集是一个用于研究自然语言中数学推理的多领域语料库，由华盛顿大学、艾伦人工智能研究院和纽约大学的研究人员于 2021 年发布，相关论文成果为「NaturalProofs: Mathematical Theorem Proving in Natural Language」。

它包含了大约 30k 个定理陈述和证明、 15k 个定义以及 2k 个额外页面（例如公理、推论），这些内容都是用自然数学语言编写的。 NaturalProofs 数据集广泛地覆盖了来自 ProofWiki 的数据，涵盖了 Stacks 项目的详细数据，以及数学教科书中的低资源数据。 NaturalProofs 将这些来源统一在一个通用的模式下，并作为推动涉及非形式数学任务进展的公共资源提供。这个数据集为数学推理的研究提供了丰富的资源，有助于推动自然语言处理和机器学习领域在数学推理方面的发展。