Lean4Agent: Formal Modeling and Verification for Agent Workflow and Trajectory.

arXiv:2606.06523v3 Announce Type: replace 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 sys