TY  - RPRT
TI  - Secure Agentic Coding through Counterexample-Grounded Feedback
AU  - Tue Le
AU  - Anh Nguyen Hoang
AU  - Gabriel Sasseville
AU  - Doseok Jang
AU  - Pierre-Luc Bacon
AU  - Nghi D. Q. Bui
PY  - 2026
UR  - https://arxiv.org/abs/2610.25916
ID  - 2610.25916
ER  -