@misc{indiciae1a0dd9cf5e98, title = {Secure Agentic Coding through Counterexample-Grounded Feedback}, author = {Tue Le and Anh Nguyen Hoang and Gabriel Sasseville and Doseok Jang and Pierre-Luc Bacon and Nghi D. Q. Bui}, year = {2026}, url = {https://arxiv.org/abs/2610.25916}, note = {Source identifier: 2610.25916} }