Skip to yearly menu bar Skip to main content


When "Correct" Is Not Safe: Can We Trust Functionally Correct Patches Generated by Code Agents?

Yibo Peng ⋅ James Song ⋅ Lei Li ⋅ Xinyu Yang ⋅ Mihai Christodorescu ⋅ Ravi Mangal ⋅ Corina Pasareanu ⋅ Haizhong Zheng ⋅ Beidi Chen

Abstract

Chat is not available.