PRISM Proof Repair Dataset
收藏NIAID Data Ecosystem2026-05-01 收录
下载链接：
https://zenodo.org/record/7935206
下载链接
链接失效反馈官方服务：
资源简介：
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.
创建时间：
2023-05-16
