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 • 10
David Thomas
Wild-Remy
·
AI & ML interests
None yet
Recent Activity
upvoted a paper 4 days ago
Thought-Level Beam Search for Reasoning liked a model 7 days ago
ethanfel/Qwen3-VL-32B-Ultra-Heretic-H3-ComfyUI-INT8-ConvRotOrganizations
None yet