NaturalProofs 数据集是一个用于研究自然语言中数学推理的多领域语料库,由华盛顿大学、艾伦人工智能研究院和纽约大学的研究人员于 2021 年发布,相关论文成果为「NaturalProofs: Mathematical Theorem Proving in Natural Language」。
它包含了大约 30k 个定理陈述和证明、 15k 个定义以及 2k 个额外页面(例如公理、推论),这些内容都是用自然数学语言编写的。 NaturalProofs 数据集广泛地覆盖了来自 ProofWiki 的数据,涵盖了 Stacks 项目的详细数据,以及数学教科书中的低资源数据。 NaturalProofs 将这些来源统一在一个通用的模式下,并作为推动涉及非形式数学任务进展的公共资源提供。这个数据集为数学推理的研究提供了丰富的资源,有助于推动自然语言处理和机器学习领域在数学推理方面的发展。
NaturalProofs.torrent
做种 3正在下载 0已完成 42总下载次数 54