FIELD NOTES TOPIC
verifier evidence
1 note, newest first.
Looping Is Not Reliability: State-Bound Evidence and Typed Revision Contracts for Agentic Code Repair
The paper discusses the unreliability of generating-test-revise loops in coding agents, focusing on the gap between finding a correct patch and actually implementing it. The study reveals that using stale traces can…
