Published May 15, 2023
| Version 1.00-alpha
Dataset
Open
PRISM Proof Repair Dataset
- 1. University of Illinois Urbana-Champaign
- 2. Radiance Technologies, Inc.
Description
This is the first release of a sample of the PRISM Coq proof repair dataset. We will update with later versions when repair mining is complete and goes through DARPA's approval process. The initial release (data and limitations) is documented here: https://docs.google.com/document/d/19A6YMm1glkcd7ze8wi87pxmUgogA3Mitny7mDl-192c/edit?usp=sharing. It includes about 200 unique changes. Later versions will include more data and better line number information, and will be deduplicated.
Files
PRISM_Initial_Release.zip
Files
(3.0 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:31fb67b940aeb170e5abdc6744ad388d
|
3.0 MB | Preview Download |