找到1个数据集

标签: Stacks项目

过滤结果

  • NaturalProofs_Based_数学推理自然语言多源语料库数据

    2026年1月26日 30 139 4

    数据集概述 本数据集是用于研究自然语言中数学推理的多领域语料库，包含约三万条定理陈述及证明、一万五千条定义和两千页补充内容（如公理、推论），统一自ProofWiki、Stacks项目和数学教科书等来源，采用通用模式组织，支持非正式数学相关任务研究。 文件详解 LICENSE 文件格式：无扩展名 字段映射介绍：数据集许可文件，包含使用权限和版权相关说明...
    packageimg