most citedDafny as Verification-Aware Intermediate Language for Code Generation

2 citations · 2 across the 3 of their papers we have counts for

collaborators
Showing cs.SEShow all

2 papers · 1 filter

cs.SE2025

CrossPL: Evaluating Large Language Models on Cross Programming Language Code Generation

Zhanhang Xiong, Dongxia Wang, Yuekang Li +2

As large language models (LLMs) become increasingly embedded in software engineering workflows, a critical capability remains underexplored: generating correct code that enables cr…

cs.SE2025★ 2 cited

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…