TY  - RPRT
TI  - From Verification Failures to Reusable Guidance for Coding Agents
AU  - Yuqing Zhai
AU  - Xiaohong Chen
AU  - Lingming Zhang
AU  - Sriram Vishwanath
AU  - Grigore Rosu
PY  - 2026
UR  - https://arxiv.org/abs/2609.39022
ID  - 2609.39022
ER  -