Hugging Face's logo
Activity Feed

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
JoelAbenhaim  submitted a paper about 11 hours ago
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
JoelAbenhaim  authored a paper about 14 hours ago
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
View all activity

Papers

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

View all Papers

AiSovereignLabs 's papers 1