13:30
2026-06-25
galois.com
ai-research
Formal Verification Benchmarks Are the Key to Ironclad Software Infrastructure
Galois is leading two projects, Metron and Praxis, to build formal verification benchmarks that measure AI's ability to reason about code correctness, aiming to make industrial-scale software verifica…