Dafny as Verification-Aware Intermediate Language for Code Generation

Yue Chen Li, Stefan Zetzsche, Siva Somayyajula

Using large language models (LLMs) to generate source code from natural language prompts is a popular and promising idea with a wide range of applications. One of its limitations i…