bluesky — Galois — 16 Oct 2026
Can AI help with the most tedious, time-consuming parts of formal verification?
#formal-verification #llm-applications #automated-reasoning
Can AI help with the most tedious, time-consuming parts of formal verification?
In a recent experiment, Galois's Marios Georgiou explored "proof grinding" with LLMs. The strongest results came when the LLM received one precise property to prove or break at a time.