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), which manages codebases indirectly via structured specifications. To enable full-lifecycle codebase management strictly through these specifications, PROOF abstracts codebase topology into a hierarchical natural-language representation. To establish absolute trust, the system proves semantic equivalence by reconstructing source code exclusively from this specification. This ver...
| Authors | Xinhao Zhang, Jingjie Lu, Kunpeng Liu et al. |
|---|---|
| Primary category | cs.SE |
| Published | 6 September 2026 |
| Last updated at source | 6 September 2026 |
Silytics shows public metadata from arXiv and links to the original. Information may be incomplete or out of date. Last refreshed 17 October 2026. Licenses and terms of the original apply to the work itself. Not financial, legal or professional advice.