NaturalProofs-Gen
收藏OpenDataLab2026-05-17 更新2024-05-09 收录
下载链接：
https://opendatalab.org.cn/OpenDataLab/NaturalProofs-Gen
下载链接
链接失效反馈官方服务：
资源简介：
Naturalproof-GEN适应来自naturalproof的数据，其中包含定理语句，证明，定义和其他页面 (例如公理，推论)，这些页面来自ProofWiki，这是社区贡献的数学证明的在线汇编。
提供机构：
OpenDataLab
创建时间：
2023-02-01
搜集汇总
数据集介绍
背景与挑战
背景概述
NaturalProofs-Gen数据集基于ProofWiki的社区贡献数学证明内容，包含定理、证明和定义等元素。该数据集由华盛顿大学·艾伦人工智能研究所在2022年发布。
以上内容由遇见数据集搜集并总结生成
