#formal-verification
Every summary, chronological. Filter by category, tag, or source from the rail.
Tag · #formal-verification
Pramaana Labs Uses Formal Verification to Secure Enterprise AI
Pramaana Labs raised $27M to integrate formal verification—using the LEAN programming language—with LLMs to ensure deterministic, error-free outputs in high-stakes fields like tax, law, and drug discovery.
TechCrunch — AI
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 2 of 2