# Towards AI-Assisted Synthesis of Verified Dafny Methods

> Research article (Proceedings of the ACM on software engineering., 2024) · cited 26× · AI/ML

**Wikidata**: [openalex:W4391505367](https://www.wikidata.org/wiki/openalex:W4391505367)  
**Source**: https://4ort.xyz/entity/towards-ai-assisted-synthesis-of-verified-dafny-methods