Dafny as Verification-Aware Intermediate Language for Code Generation. - Yue Chen Li; Stefan Zetzsche; Siva Somayyajula (CoRR, 2025)