Specification-first convergence with an AI coding agent: a case study of dismantling a core architectural invariant across 189 files in a 717k-line codebase with no test oracle and no human code review
Paper • 2608.12440 • Published • 6
AI & ML interests
AI Sovereign Labs is a French-based software company (SIREN 104 364 484) building AICode, a spec-driven AI coding agent for VS Code.
Recent Activity
Papers
View all Papers
JoelAbenhaim
submitted a
paper to Daily Papers 2 days ago