arXiv cs.AI· Ruida Wang, Jerry Huang, Pengcheng Wang, Xuanqing Liu, Luyang Kong, Tong Zhang·2026-10-23 12:00· 2 小时前AI 评分49

Lean4Agent：用 Lean4 对 Agent 工作流与轨迹进行形式化建模与验证

Lean4Agent: Formal Modeling and Verification for Agent Workflow and Trajectory

AI 导读

研究者提出 Lean4Agent，这是首个用依赖类型形式语言 Lean4 对智能体工作流和执行轨迹进行形式化建模与验证的框架，包含可扩展的 FormalAgentLib 库和工作流自动修正模块 LeanEvolve。