Skip to content
Sagan

Paper

Lean4Agent: Formal Modeling and Verification for Agent Workflow and Trajectory

Unreadunread

AI summary

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.