TY  - RPRT
TI  - AutoCodeSherpa: Symbolic Explanations in AI Coding Agents
AU  - Sungmin Kang
AU  - Haifeng Ruan
AU  - Abhik Roychoudhury
PY  - 2026
UR  - https://arxiv.org/abs/2507.22414
ID  - 2507.22414
ER  -