Lean4Agent: Formal Modeling and Verification for Agent Workflow and Trajectory
DGX agentarXiv: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 recen