Published April 10, 2023
| Version 1.0.0
Dataset
Open
Dataset for "Deep Dive into the Verifiability of Code Generated by GitHub Copilot"
Description
A collection of GitHub-Copilot-generated Python solutions and their translations to Dafny with verification attempts.
Files
Copilot Verification.zip
Files
(944.9 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:ad9dafec765596299caf776ed61214f0
|
944.9 kB | Preview Download |