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.