12 stories tagged with #formal-verification, in publish-time order across the WeSearch catalog. Tag pages update as new stories ingest.
⌘ RSS feed for this tag → or search "Formal Verification"
How DeepMind AlphaProof Nexus Cracks 56-Year-Old Math: Agentic LLM Loops and Lean Formal Verification
How Google DeepMind's AlphaProof Nexus Cracks 56-Year-Old Math Problems: A Deep Dive into...…
Methods for Formal Verification of Agent Skills: Three Layers Toward a Mechanically Checkable Capability-Containment Proof
The companion paper introduced a four-level verification lattice on agent-skill manifests (unverified, declared, tested, formal) and left the top level aspirational. This paper c…
NeuroNL2LTL: A Neurosymbolic Framework for Natural Language Translation of Linear Temporal Logic
Effectively translating between natural language (NL) and formal logics like Linear Temporal Logic (LTL) requires expertise that limits formal verification's reach in safety-critic…
Inductive Deductive Synthesis: Enabling AI to Generate Formally Verified Systems
AI agents increasingly excel at generating, testing, and refining code. However, they fall short on tasks requiring formal guarantees of full coverage that testing alone cannot pro…
Lipschitz Optimization for Formal Verification of Homographies
The adoption of vision neural networks in regulated industries requires formal robustness guarantees, especially in safety-critical domains such as healthcare, autonomous vehicles,…
A blueprint for formal verification of Apple corecrypto
With the latest release of corecrypto, we’re publishing our implementations of quantum-secure ML-KEM and ML-DSA algorithms, along with the mathematical proofs we built to assure th…
Cheap code means formal verification is reasonable now
How we use TLA+ and coding agents to formally model distributed systems, find race conditions, and turn speculative bug hunts into verified fixes.…
Formal Verification Gates for AI Coding Loops
Formal verification gates for AI coding loops, in the language you're already shipping.…
A shallow dive into formal verification
Vitalik Buterin says AI-assisted "formal verification" could help secure blockchain networks, smart contracts, and cryptographic systems against software flaws (Jason Nelson/Decrypt)
Jason Nelson / Decrypt : Vitalik Buterin says AI-assisted “formal verification” could help secure blockchain networks, smart contracts, and cryptographic systems against software f…
Vitalik’s AI + formal verification take feels bigger than another “AI in crypto” headline
Z3 Can Prove Your Cloud is Unsafe. It Can't Tell You Why.
Z3 is one of the most powerful reasoning engines ever built. Microsoft Research created it to verify...…