FIELD NOTES TOPIC
dafny
2 notes, 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…
AxDafny: Agentic Verified Code Generation in Dafny
Researchers present AxDafny, a framework for generating executable code and proof artifacts in Dafny using a verifier-guided repair method. The study uses a benchmark called LiveCodeBench-Pro-Dafny with 250 programming…
