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.
提供机构：
Zenodo创建时间：
2026-05-12
