TY  - RPRT
TI  - DafnyPro: LLM-Assisted Automated Verification for Dafny Programs
AU  - Debangshu Banerjee
AU  - Olivier Bouissou
AU  - Stefan Zetzsche
PY  - 2026
UR  - https://arxiv.org/abs/2601.05385
ID  - 2601.05385
ER  -