1 paper · 1 filter
Ruidong Han, Zhensu Sun, Chengyan Ma +4
Large language models (LLMs) may introduce security vulnerabilities into generated code, which can persist into production when verification focuses on functional correctness. Exis…