NaturalProofs_Based_数学推理自然语言多源语料库数据
收藏海数据2026-06-25 收录
下载链接：
https://haidatas.com/dataset/naturalproofs_based_shuxuetuiliziranyuyand_8b38a3d6
下载链接
链接失效反馈官方服务：
资源简介：
本数据集是用于研究自然语言中数学推理的多领域语料库，包含约三万条定理陈述及证明、一万五千条定义和两千页补充内容（如公理、推论），统一自ProofWiki、Stacks项目和数学教科书等来源，采用通用模式组织，支持非正式数学相关任务研究。 Welleck et al 2021及对应GitHub仓库
提供机构：
公开数据创建时间：
2026-01-26
暂无相关数据集
