NaturalProofs
收藏OpenDataLab2026-04-12 更新2024-05-09 收录
下载链接：
https://opendatalab.org.cn/OpenDataLab/NaturalProofs
下载链接
链接失效反馈资源简介：
NaturalProofs 数据集是用于研究自然语言中的数学推理的大规模数据集。 NaturalProofs 包含大约 20,000 个定理陈述和证明、12,500 个定义和 1,000 个附加页面（例如公理、推论），这些页面来自 ProofWiki，这是一个由贡献者社区编写的在线数学证明纲要。
提供机构：
OpenDataLab
创建时间：
2022-05-23
搜集汇总
数据集介绍
以上内容由遇见数据集搜集并总结生成
