Lean4Agent: Formal Modeling and Verification for Agent Workflow and Trajectory 文章

ArXiv CS.AI2026-06-08NEWSen作者: Ruida Wang, Jerry Huang, Pengcheng Wang, Xuanqing Liu, Luyang Kong, Tong Zhang
查看原文 →
关系图谱

Lean4Agent: Formal Modeling and Verification for Agent Workflow and Trajectory · 相关技术

相关技术

Leanlarge language models