找到2个数据集

标签: 压缩包资源

过滤结果

  • 大语言模型分析与改进科学代码方法名数据集

    2025年12月8日 30 190 19

    数据集概述 本数据集是研究大语言模型在科学代码方法名分析与改进应用的配套数据，包含实验输出数据库、代码实现文件、提示词模板及项目说明文档，支持复现相关研究结果。 文件详解 文件名称：ReadMe.md，文件格式：Markdown，内容：项目说明文档，介绍数据集对应的研究论文及各文件的用途。...
    packageimg

  • EL证明形式与三种演算实验资源数据集2025

    2025年12月8日 30 143 78

    数据集概述 该数据集包含论文《The Shape of EL Proofs: A Tale of Three Calculi - DL25》中实验所用的材料，以压缩包形式存储，还附带说明实验运行方法的README文件，为相关研究提供实验资源支持。 文件详解 文件名称：experiment-DL2025.zip 文件格式：ZIP压缩包...
    packageimg