Tao-Er Guo

Evaluating Symbolic Feedback Granularity for LLM-Based Program Repair

Large Language Models (LLMs) are increasingly incorporated into verifier-in-the-loop software engineering systems, yet it remains unclear how the representation of verifier feedback affects their ability to repair incorrect programs. We study this question by isolating feedback representation from model, task, and prom...