Counterfactual Regret for Reflective Agents with Lean-Verified Guarantees.

arXiv:2610.14790v1 Announce Type: new Abstract: Reflective language agents reuse feedback and memory to adapt across tasks without updating model weights. However, existing guarantees for policy selection and action generation do not by themselves establish wh