FIELD NOTES TOPIC
verification success
1 note, newest first.
AxDafny: Agentic Verified Code Generation in Dafny
The paper presents AxDafny, a framework for generating executable code and verification artifacts in Dafny using a verifier-guided repair approach. The framework significantly improves verification success over the…
