数据集 - 海数据

Zenodo_Anonymous_Based_代码生成基准质量研究补充材料

2026年1月21日 30 91 83

数据集概述本数据集是论文《Beyond the Leaderboard: Examining Benchmark Quality in Code Generation》的Zenodo补充材料，包含研究中使用的脚本、基准测试集、分析结果及相关补充资料，可通过指定链接获取更友好的界面说明。文件详解文件名称：scripts.zip 文件格式：ZIP...

ZIP

NeuralStateAnalysis_Based_深度学习程序API使用违规故障定位研究复制包

2026年1月11日 30 208 20

数据集概述本数据集是研究论文的复制包，用于复现基于类型状态的深度学习程序API使用违规故障定位方法。包含两个基准测试集（NeuraLint的Benchmark1和Humbatova et al.的Benchmark2）及NeuralStateAnalysis工具代码，支持用户通过指定步骤复现论文结果。文件详解...

ZIP

TU_Wien_DBAI_adf_bdd_v0_2_4_beta_1_Based_求解器性能评估完整数据集

2025年12月22日 30 191 64

数据集概述该数据集包含adf-bdd求解器（版本v0.2.4-beta.1）的运行时间数据，以及与其他ADF求解器的对比结果，可用于评估求解器性能，基于TU Wien DBAI的基准测试集构建。文件详解核心数据文件（CSV格式，共11个）： statistics_overview.csv：原始测试数据总览其他CSV文件（如kadf-...

ZIP

MUS_ASP实验的源代码_基准测试和二进制文件

2025年12月20日 30 205 37

数据集概述本数据集包含MUS-ASP实验所需的源代码、基准测试集和必要二进制文件，支持实验的复现与验证，为相关算法研究提供完整的实验资源包。文件详解文件名称: benchmark.zip 文件格式: ZIP压缩包内容说明: 实验所用的基准测试集文件名称: code.zip 文件格式: ZIP压缩包内容说明: MUS-ASP算法的实现代码...

ZIP

Zenodo_OAEI2009_bench62_Based_本体对齐基准测试完整数据

2025年12月7日 30 118 4

数据集概述本数据集包含2009年本体对齐评估计划（OAEI）使用的bench62基准测试，基于文献领域种子本体的系统性修改生成，旨在通过覆盖广泛特征、稳定可复用的测试集，评估本体匹配器的性能强弱及发展进度。文件详解该数据集为一个ZIP压缩包，内部包含以下类型文件和目录： - 核心文档与脚本: - index.html:...