GitHub_Copilot_Based代码可验证性探索数据集
收藏海数据2026-03-14 收录
下载链接：
https://haidatas.com/dataset/github_copilot_baseddaimakeyanzhengxingtan_5702688c
下载链接
链接失效反馈官方服务：
资源简介：
本数据集为“Exploring the Verifiability of Code Generated by GitHub Copilot”研究项目的配套数据，包含GitHub Copilot生成的Python代码实现，以及将其转换为Dafny语言并尝试验证的相关内容，用于研究代码生成工具的输出可验证性。
提供机构：
公开数据
创建时间：
2026-02-08
