Abstract page for arXiv paper 2609.02892: Counterexamples as Feedback for Agent Self-Correction