NaturalProofs データセットは、自然言語で数学的推論を研究するために使用されるマルチドメイン コーパスであり、ワシントン大学、アレン人工知能研究所、ニューヨーク大学の研究者によって 2021 年に発表されました。NaturalProofs: 自然言語での数学定理の証明”。

約 30,000 の定理の記述と証明、15,000 の定義、および 2,000 の追加ページ (公理、系など) が含まれており、すべて自然数学言語で書かれています。 NaturalProofs データセットは、Stacks プロジェクトの詳細データや数学の教科書の低リソース データをカバーする、ProofWiki のデータを広範囲にカバーしています。 NaturalProofs は、これらのソースを共通のスキーマの下に統合し、非公式な数学を含むタスクの進歩を促進する公共リソースとして提供します。このデータセットは、数学的推論の研究に豊富なリソースを提供し、自然言語処理と機械学習の分野での数学的推論の開発の促進に役立ちます。