@misc{indiciae0bf89c53a83f,
  title = {Dafny as Verification-Aware Intermediate Language for Code Generation},
  author = {Yue Chen Li and Stefan Zetzsche and Siva Somayyajula},
  year = {2025},
  url = {https://arxiv.org/abs/2501.06283},
  note = {Source identifier: 2501.06283}
}