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 10 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 13 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

models 0

None public yet

datasets 0

None public yet