Counterexample Guided Learning in the Large using Reasoning Agents

Hongyi Liu, Frederic Sala, Thomas Reps +1

LLMs and LLM agents should improve when given feedback, but identifying when they are able to do so is difficult: feedback is heterogeneous, domain-specific, and difficult to contr…