developer tools
The Coding Agent Plans the Graph Before the Patch
FlowPlan expresses a repair as control-flow or data-flow changes, then checks whether the edited program matches that plan.
Summary
FlowPlan expresses a repair as control-flow or data-flow changes, then checks whether the edited program matches that plan.
FlowPlan asks a coding agent to localize faults and plan repairs on per-function control-flow or data-flow graphs before changing source code. After the edit, it reconstructs the abstraction, compares the observed graph delta with the plan and then performs a complete verification. Across six benchmark-model settings, resolution did not change significantly while token use fell in every setting and significantly in five. With the smaller evaluated model, usage fell to 32% to 74% of baseline depending on the benchmark, mainly by reducing repeated post-edit reading and testing.
Why it matters
FlowPlan expresses a repair as control-flow or data-flow changes, then checks whether the edited program matches that plan.
Limits and context
- Across six benchmark-model settings, resolution did not change significantly while token use fell in every setting and significantly in five.
Key claims
FlowPlan expresses a repair as control-flow or data-flow changes, then checks whether the edited program matches that plan.
Qualification: Across six benchmark-model settings, resolution did not change significantly while token use fell in every setting and significantly in five.
Evidence: source-2026-11-12-003
Sources
- arXiv:2611.13241v1arXiv / Cornell University · primary research
Corrections
No corrections have been recorded for this story.