Joel Abenhaim

JoelAbenhaim's activity

• All
• Models
• Datasets
• Spaces
• Buckets
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

commented 2 papers 2 months 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

Paper • 2608.12440 • Published Aug 12 • 12 •

5

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 Aug 12 • 12 •

5