Created on June 25, 2026
2026
Our paper AutoCodeSherpa: Symbolic Explanations in AI Coding Agents has been accepted to ISSTA 2026.