找到3个数据集

标签: 代码正确性

过滤结果

  • GitHub_Copilot_Based代码可验证性探索数据集

    2026年2月8日 30 189 183

    数据集概述 本数据集为“Exploring the Verifiability of Code Generated by GitHub Copilot”研究项目的配套数据，包含GitHub Copilot生成的Python代码实现，以及将其转换为Dafny语言并尝试验证的相关内容，用于研究代码生成工具的输出可验证性。 文件详解...
    packageimg

  • LLM_Based_大语言模型辅助API误用修复研究数据

    2026年1月30日 30 167 151

    数据集概述 本数据集与“Large Language Models Aided API Misuse Repair”研究相关，核心内容围绕大语言模型在API误用修复场景的应用。数据集包含一个压缩文件，未提供训练/测试、数据/标签或原始/处理数据的划分，无额外说明文档或内容预览。 文件详解 压缩文件 文件名称：palfix.zip 文件格式：ZIP...
    packageimg

  • 堆栈飞行员_StackPilot_源代码堆栈溢出与GitHub_Copilot代码片段对比数据集

    2026年1月9日 30 110 94

    数据集概述 本数据集旨在支持对Stack Overflow复制粘贴代码与GitHub Copilot生成代码的系统性对比分析。包含针对2,636个相同查询/提示的30,746条代码片段，覆盖两种查询/提示式编程模型的输出结果，为研究代码生成工具性能与差异提供基础数据。 文件详解 文件名称：stackpilot.json 文件格式：JSON...
    packageimg