Lean4Agent: Formal Modeling and Verification for Agent Workflow and Trajectory 事件

Lean4Agent: Formal Modeling and Verification for Agent Workflow and Trajectory arXiv:2606.06523v1 Announce Type: new Abstract: Equipping Large Language Models (LLMs) to execute reliable multi-step workflows has become a central challenge in artificial intelligence. Despite recent advances in LLMs' agentic capabilities, most agent systems still lack formal methods for specifying, verifying, and debugging their workflow and execution trajectories. This challenge mirrors a long-standing problem in