2 papers
cs.SE2026
Large Language Models for Multilingual Code Intelligence: A Survey
Chao Jiang, Dugang Liu, Cheng Wen +6
Large language models have transformed AI-assisted software engineering, but current research remains biased toward high-resource languages such as Python, with weaker performance…
cs.SE2024
Enchanting Program Specification Synthesis by Large Language Models using Static Analysis and Program Verification
Cheng Wen, Jialun Cao, Jie Su +6
Formal verification provides a rigorous and systematic approach to ensure the correctness and reliability of software systems. Yet, constructing specifications for the full proof r…