#formal-verification
Every summary, chronological. Filter by category, tag, or source from the rail.
Tag · #formal-verification
Formal Verification for Reliable AI Agent Workflows
Lean4Agent introduces a formal modeling framework using the Lean 4 theorem prover to verify the correctness, safety, and trajectory of AI agent workflows.
arXiv cs.AI
Showing 1 of 1