» Tag
formal-verification
13 postsFlare: Verifying MILP Reformulations with LLM-Based Theorem Proving
FLARE combines an LLM agent with the Lean proof assistant to formally verify MILP reformulations, backed by a new 109-formulation benchmark.
Alerus Brings Formal Verification to Probabilistic Rust Code
Alerus extends Verus with error-credit reasoning to formally verify randomized sampling algorithms in real Rust code, with soundness proved in Rocq.
The Lean Theorem Prover: Design and Evolution Overview
Lean plays a crucial role in formal verification and AI integration. Lean FRO was established in 2023.
CommitBrief — AI code reviews, right in your terminal
A provider-agnostic, local-first CLI that reviews your staged changes, a historic range, or a whole GitHub pull request. Zero telemetry, no server. Free and open source.
commitbrief.com