AIBullisharXiv – CS AI · 5h ago7/10
🧠
Lean4Agent: Formal Modeling and Verification for Agent Workflow and Trajectory
Lean4Agent introduces a formal verification framework using Lean4, a dependent-type language, to model and verify LLM agent workflows. The system demonstrates 11.94% performance improvement for verification-passing workflows and 7.47% additional gains through LeanEvolve optimization, establishing a new approach to ensuring AI agent reliability.