Published September 1, 2022
| Version 0.0.1
Dataset
Open
Dataset for "Exploring the Verifiability of Code Generated by GitHub Copilot"
Creators
Description
Collection of Python implementations and translations to Dafny with verification attempts.
Files
copilot-verification.zip
Files
(163.6 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:81fc132061c813443f4d5c9d7c4eeb2e
|
163.6 kB | Preview Download |