TY  - RPRT
TI  - Counterfactual Regret for Reflective Agents with Lean-Verified Guarantees
AU  - Zhongnian Li
AU  - Shi Xu
AU  - Mengting Xu
AU  - Peng Ying
AU  - Xinzheng Xu
PY  - 2026
UR  - https://arxiv.org/abs/2610.14790
ID  - 2610.14790
ER  -