NaturalProofs
收藏OpenDataLab2026-05-17 更新2024-05-09 收录
下载链接：
https://opendatalab.org.cn/OpenDataLab/NaturalProofs
下载链接
链接失效反馈官方服务：
资源简介：
NaturalProofs 数据集是用于研究自然语言中的数学推理的大规模数据集。 NaturalProofs 包含大约 20,000 个定理陈述和证明、12,500 个定义和 1,000 个附加页面（例如公理、推论），这些页面来自 ProofWiki，这是一个由贡献者社区编写的在线数学证明纲要。
The NaturalProofs dataset is a large-scale dataset dedicated to researching mathematical reasoning in natural language. NaturalProofs contains approximately 20,000 theorem statements and proofs, 12,500 definitions, and 1,000 additional pages (such as axioms and corollaries), all sourced from ProofWiki, an online compendium of mathematical proofs written by a community of contributors.
提供机构：
OpenDataLab
创建时间：
2022-05-23
搜集汇总
数据集介绍
以上内容由遇见数据集搜集并总结生成
