NaturalProofs-Gen
收藏官方服务：
资源简介：
Naturalproof-GEN适应来自naturalproof的数据，其中包含定理语句，证明，定义和其他页面 (例如公理，推论)，这些页面来自ProofWiki，这是社区贡献的数学证明的在线汇编。
Naturalproof-GEN utilizes data sourced from naturalproof, which includes theorem statements, proofs, definitions, and other pages such as axioms and corollaries. All these pages are derived from ProofWiki, a community-curated online compilation of mathematical proofs.
提供机构：
OpenDataLab创建时间：
2023-02-01
搜集汇总
数据集介绍
背景与挑战
背景概述
NaturalProofs-Gen数据集基于ProofWiki的社区贡献数学证明内容，包含定理、证明和定义等元素。该数据集由华盛顿大学·艾伦人工智能研究所在2022年发布。
以上内容由遇见数据集搜集并总结生成
