HyperAI超神经

NaturalProofs 数学推理数据集

日期

4 个月前

大小

159.82 MB

机构

Allen Institute for Artificial Intelligence
University of Washington

发布地址

github.com

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

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

NaturalProofs.torrent
做种 3正在下载 0已完成 42总下载次数 54
  • NaturalProofs/
    • README.md
      1.78 KB
    • README.txt
      3.55 KB
      • data/
        • NaturalProofs.zip
          159.82 MB