TY  - RPRT
TI  - AxDafny: Agentic Verified Code Generation in Dafny
AU  - Benjamin Breen
AU  - Austin Letson
AU  - Borja Requena Pozo
AU  - Leopoldo Sarra
PY  - 2026
UR  - https://arxiv.org/abs/2606.32007
ID  - 2606.32007
ER  -