@misc{indiciae15dc49bbdada,
  title = {From Verification Failures to Reusable Guidance for Coding Agents},
  author = {Yuqing Zhai and Xiaohong Chen and Lingming Zhang and Sriram Vishwanath and Grigore Rosu},
  year = {2026},
  url = {https://arxiv.org/abs/2609.39022},
  note = {Source identifier: 2609.39022}
}