TY  - RPRT
TI  - Towards AI-Assisted Synthesis of Verified Dafny Methods
AU  - Md Rakib Hossain Misu
AU  - Cristina V. Lopes
AU  - Iris Ma
AU  - James Noble
PY  - 2024
DO  - 10.1145/3643763
UR  - https://arxiv.org/abs/2402.00247
ID  - 2402.00247
ER  -