Chien-Ping Lu 发布代理式AI验证与自我改进框架论文修订版

Chien-Ping Lu 在 arXiv 发布论文《智能体AI中的验证与自我改进：基础与边界》修订版（arXiv:2610.10611v2），提出区分自改进智能体的搜索增益与已接受任务覆盖扩展的框架，并引入支持与转录接口、原生可达集与闭包边界等概念。 论文用语义包含准则和 guard-transfer 不变性约束来防范验证逃逸，包含可复现的研究工件和部分 Lean 形式化，并明确列出尚未完成的义务。全文 36 页，含 7 幅图和 4 个表格。

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

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