NaturalProofs 数学推理数据集

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

The NaturalProofs dataset is a multi-domain corpus for studying mathematical reasoning in natural language. It was released in 2021 by researchers from the University of Washington, the Allen Institute for AI, and New York University, with its associated research paper titled "NaturalProofs: Mathematical Theorem Proving in Natural Language".

搜集汇总

背景与挑战

背景概述

NaturalProofs是一个由华盛顿大学、艾伦人工智能研究院和纽约大学于2021年发布的数学推理数据集，包含约30k个定理陈述与证明、15k个定义及2k个额外页面，覆盖ProofWiki、Stacks项目等多个来源，旨在为自然语言中的数学推理研究提供资源。