Overview
Theorem provides formal semantics tooling (RISC-V, Linux process models) used with anthropic claude for large-scale formal-verification of compiled binaries.
Recent Developments
- 2026-10-22: Collaboration with Anthropic on OSS-Fuzz crash-freedom proofs at RISC-V binary level (2026-10-22-anthropic-llm-formal-verification)