Counterfactual Regret for Reflective Agents with Lean-Verified Guarantees

Zhongnian Li, Shi Xu, Mengting Xu +2

Reflective language agents reuse feedback and memory to adapt across tasks without updating model weights. However, existing guarantees for policy selection and action generation d…