Oct 22, 2026
Anthropic and Theorem report Rocq-checked proofs for 239 OSS-Fuzz entry points across 123 libraries, with a public subset of proofs and machine semantics.
The claims cover modeled single-threaded, static RISC-V/Linux binaries and inputs below 64 MB. They do not prove whole libraries bug-free or cover ordinary x86/ARM deployments; specifications and trusted components still matter.