Featured Dataset
Anonymised artefacts for “Feedback Required: Generating Dafny Loop Invariants with Large Language Models and Verifier Feedback”
The package contains experimental artefacts supporting "Feedback Required: Generating Dafny Loop Invariants with Large Language Models and Verifier Feedback".This package contains prompts, execution logs, datasets, and verified program outputs.
File Size12.6 MB
Data TypeDataset
Published2026
Licensecc-by-4.0
Total Views24
Total Downloads7
The package contains experimental artefacts supporting “Feedback Required: Generating Dafny Loop Invariants with Large Language Models and Verifier Feedback”.
This package contains prompts, execution logs, datasets, and verified program outputs.
📤 Share this page
Found this useful? Share it with your network.
Files are hosted on the source repository. Click download to access the full dataset.
Anonymous Author(s) (2026). Anonymised artefacts for “Feedback Required: Generating Dafny Loop Invariants with Large Language Models and Verifier Feedback”. https://doi.org/10.5281/zenodo.20145065