corpus.blog
41,554 blogs · 5,225,211 posts Claim your blog
Record · corpus.blog/posts/01a08c5c-70a5-729c-a089-d7768abcb9a1

Formal Verification in the Age of AI

verse.systems · published 5 March 2026

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at verse.systems Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
External links
22
Words captured
1,460

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://en.wikipedia.org/wiki/Correctness_(computer_science
en.wikipedia.org
https://sel4.systems
sel4.systems
https://spectrum.ieee.org/ai-proof-verification
spectrum.ieee.org
https://dl.acm.org/doi/10.5555/2337223.2337352
dl.acm.org
https://trustworthy.systems/publications/nicta_full_text/3087.pdf
trustworthy.systems
https://leanprover-community.github.io/mathlib-overview.html
leanprover-community.github.io
https://trustworthy.systems/publications/nicta_full_text/8105.pdf
trustworthy.systems
https://arxiv.org/abs/2601.03298
arxiv.org
https://trustworthy.systems/publications/nictaabstracts/Klein_14.abstract
trustworthy.systems
Prediction: AI will make formal verification go mainstream Read at the source ↗
martin.kleppmann.com
https://leodemoura.github.io/blog/2026/02/28/when-ai-writes-the-worlds-software.html
leodemoura.github.io
https://en.wikipedia.org/wiki/Counterexample-guided_abstraction_refinement
en.wikipedia.org
https://dl.acm.org/doi/10.1145/1375581.1375599
dl.acm.org
https://en.wikipedia.org/wiki/Symbolic_execution
en.wikipedia.org
https://en.wikipedia.org/wiki/Concolic_testing
en.wikipedia.org
https://dl.acm.org/doi/10.1145/3371078
dl.acm.org
https://en.wikipedia.org/wiki/QuickCheck
en.wikipedia.org
https://en.wikipedia.org/wiki/Fuzzing
en.wikipedia.org
https://arxiv.org/abs/2511.17330
arxiv.org
https://aaronbembenek.github.io/
aaronbembenek.github.io
https://mxvh.pl/
mxvh.pl
https://en.wikipedia.org/wiki/Shmuel_Sagiv
en.wikipedia.org
Elsewhere on verse.systems (1)