Lab research on the web · Blog post · Anthropic

LLMs are making formal software verification feasible at a much larger scale

22 Oct 2026

Outline · 57 paragraphs

Introduction¶3
Turning tests into proofs¶12
Finding and fixing bugs¶25
Proving more than memory safety¶30
Other formal verification case studies¶33
This is just the beginning¶39
Newer models need fewer tokens¶41
Proofs can be reused¶43
Limitations¶49
Conclusion¶55

How to cite

A citation names the document, the version and the place.

anthropic:formal-verification/r1/b1

https://safetypage.noahairmet.com/d/anthropic/formal-verification/r1/b1

BibTeX

@misc{anthropic2026,
  title = {LLMs are making formal software verification feasible at a much larger scale},
  author = {{Anthropic}},
  year = {2026},
  url = {https://www.anthropic.com/research/formal-verification}
}

Versions

Version	Published	Read
r1 latest	22 Oct 2026	At source

Licence

So you: Search it, cite it and check quotes here; read it at its source
Read at: www.anthropic.com/research/formal-verification, 10 Nov 2026