From Reading Code to Reading Spec: A Verified Layer for LLM-Driven Codebase Maintenance
The rapid growth of LLM-generated code increases software complexity and the maintenance burden on engineers. While LLMs offer a potential automated alternative, this structural complexity hinders their ability to manage codebases directly. We introduce the Provable Representation Of Original Functionality (PROOF), whi...
XinHao Zhang, Jing-Jie Lu, Kun-Peng Liu et al.
· 0 citations