找到1个数据集

格式: ZIP 标签: Dafny语言

过滤结果

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

    2026年2月8日 30 60 35

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