arXiv cs.LG· Carson Eisenach, Robert Joseph George, Vincent Quenneville-Belair, Kate Gwimm, Dean Foster·· 7 小时前AI 评分41
L3M：面向可自我扩展与自我改进智能体的可验证运行时
L3M: A Verifiable Harness and Runtime for Self-Extending and Self-Improving Agents
AI 导读
L3M 是一个用 Lean 4 编写的智能体运行时，将人类、智能体、模型与代码的状态全部存入 Git，使等待、通信、委派与撤销成为原语，并支持状态轨迹的恢复、回退、分叉、比较与合并。
来源：arXiv cs.LG · arxiv.org