反思智能体反事实遗憾理论获Lean验证

Zhongnian Li、Shi Xu、Mengting Xu、Peng Ying、Xinzheng Xu 发表论文，为反思型语言智能体推导出次线性反事实遗憾的充分条件，将局部生成与部署保证转化为长期性能保证，并给出质量、覆盖与硬预算之间的显式权衡。 论文称全部 13 项理论结果的条件证明链已在 Lean 中形式化验证，其中包含一个策略反复增长且验证不完美的原生实例。

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。