Formal Verification articles

2 articles about Formal Verification, newest first.

• Verified Graphs: Why AI Agent Swarms Fail in Science — Learn why natural language is a 'lossy channel' for AI agents and how neuro-symbolic auditing with deterministic solvers can fix multi-agent reasoning failures.
• Lean Proofs Revolutionize Code Reliability: AI Rewrites zlib in Formal Verification — An AI rewrote zlib in Lean, generating 32,000 lines of proof. Humans own specs, machines own code and proof, and AWS uses Lean to certify Rust in production.