FIELD NOTES TOPIC
code repair
2 notes, newest first.
Looping Is Not Reliability: State-Bound Evidence and Typed Revision Contracts for Agentic Code Repair
The paper discusses the unreliability of looping in coding agents and the challenge of ensuring that correct patches are retained, verified, and submitted. The authors conducted several studies to understand this gap…
Looping Is Not Reliability: State-Bound Evidence and Typed Revision Contracts for Agentic Code Repair
The paper explores the lack of reliability guarantees in coding agents that use generate-test-revise loops. The authors conduct studies to understand the gap between finding a correct patch and retaining, verifying…
