找到3个数据集

格式: ZIP 标签: 语义组织

过滤结果

  • SV_COMP_2025_YAML验证见证语义组织数据

    2026年2月7日 30 28 2

    数据集概述 本数据集为SV-COMP 2025的YAML验证见证数据，从Zenodo平台提取并按工具、属性和任务进行语义组织。旨在通过更小体积的归档简化数据复用，支持YAML见证验证器的评估工作。数据集包含一个压缩文件。 文件详解 文件名称：svcomp25-yaml-witnesses.zip 文件格式：ZIP...
    packageimg

  • LLM自由联想规范数据集

    2025年12月23日 30 25 22

    数据集概述 本数据集是由大型语言模型（LLM）生成的英文自由联想规范集合，包含Mistral、LLaMA3和Claude Haiku模型的输出数据。数据集基于人类生成的“Small World of Words”（SWOW）规范构建，旨在通过与人类语义记忆研究一致的方法，探究LLM的语义记忆特征及与人类的异同。 文件详解 文件名称: LWOW.zip...
    packageimg

  • ЗООФРАЗЕМАЛАРНИНГ_Based_语义结构分析完整数据

    2025年12月5日 30 94 6

    数据集概述 该数据集包含一份与"ЗООФРАЗЕМАЛАРНИНГ СЕМАНТИК СТРУКТУРАСИГА ДОИР"主题相关的文档，以PDF格式存储，为研究该主题的语义结构提供数据支持。 文件详解 文件名称: Азамов Омаджон Бурхонович.pdf 文件格式: PDF (.pdf) 文件内容:...
    packageimg