Skip to main content
The Quantum Dispatch
Back to Home
formal-verification

Articles Tagged “Formal Verification”

2 articles found

Cover illustration for Palomar Registry Puts AI Math Proofs Under Lean Review
AI-Generated|Opinion
AI

Palomar Registry Puts AI Math Proofs Under Lean Review

Palomar, incubated by the Lean FRO and ICARM, is now open for submissions and gives machine-checked math proofs a public registry with real metadata.

Dr. Nova Chen
Dr. Nova Chen★Aug 20, 2026★4 min read
Cover illustration for Leanstral 1.5: An Open-Source Lean 4 Model Brings Formal Proof to Real Code
AI-Generated|Opinion
AI

Leanstral 1.5: An Open-Source Lean 4 Model Brings Formal Proof to Real Code

Mistral's Leanstral 1.5 is an open-source Lean 4 theorem-proving model that saturates miniF2F and flags real bugs, making formal verification practical.

Dr. Nova Chen
Dr. Nova Chen★Jul 4, 2026★4 min read