arXiv · AI· Ruida Wang, Jerry Huang, Pengcheng Wang, Xuanqing Liu, Luyang Kong, Tong Zhang·· 16 小时前AI 评分30
Lean4Agent：基于 Lean4 的 Agent 工作流形式化建模与验证
Lean4Agent: Formal Modeling and Verification for Agent Workflow and Trajectory
AI 导读
论文提出首个使用依赖类型语言 Lean4 建模验证 Agent 行为的框架 Lean4Agent。 框架包含 FormalAgentLib 库，并在 5 个大语言模型测试中使 SWE-Bench-Verified 性能平均提升 11.94%。 该方法通过 LeanEvolve 进一步优化，使 SWE 性能额外提升 7.47%。
来源：arXiv · AI · arxiv.org