arXiv cs.SE· Ruida Wang, Jerry Huang, Pengcheng Wang, Xuanqing Liu, Luyang Kong, Tong Zhang·· 2 小时前AI 评分45
Lean4Agent 用 Lean4 形式化建模与验证智能体工作流
Lean4Agent: Formal Modeling and Verification for Agent Workflow and Trajectory
AI 导读
Lean4Agent 提出用 Lean4 依赖类型形式语言对智能体工作流与执行轨迹进行建模和验证，并发布可扩展库 FormalAgentLib，支持在显式假设下验证语义一致性、定位轨迹暴露的执行期失败。
来源：arXiv cs.SE · arxiv.org