-
可配置系统编译错误识别大语言模型能力评估数据集2024
2025年12月18日 30 40 30
数据集概述 该数据集包含对大语言模型（LLMs）识别可配置系统编译错误能力评估的查询日志文件，数据来源于Albuquerque et al. 2024（SBES-IIER 2024）的相关研究，为分析LLMs在该任务中的表现提供支持。 文件详解 文件名称: sheet.css，文件格式: CSS，用于网页样式定义 文件名称: Small -...
-
特征模型语义差异分析工具包
2025年12月12日 30 160 137
数据集概述 本数据集是用于分析特征模型语义差异的工具包，包含代码、测试脚本、评估数据及文档。核心基于命题逻辑和QSAT形式化定义，实现特征模型语义差异的分类与枚举，支持在标准化UVL格式工业模型上的评估。 文件详解 核心代码与工具文件： 上游仓库代码：来自booleguru、outercount、kissat等仓库的代码，用于特征模型处理与逻辑求解...
