Theorem blog · Feb 2026
Describes Theorem’s verified translation benchmark, rocq-dove specification generation, and a 350x speedup in verified software translation.
Program verification so even your systems engineers can vibecode
Company research
Public company, workplace, funding, and market signals
Updated Jul 29, 2026
Overview
Theorem is a San Francisco-based AI and programming-languages research lab building trustworthy-by-default software tools that use formal verification and AI to prove code correctness, especially for mission-critical and AI-generated software.
Primary product
AI-powered program verification and proof-generation tools
Founded
2025
Headquarters
San Francisco, California, United States
Team size
1-10 employees
Industry
Software Development
Sub-industry
AI software verification / formal methods
Offices
San Francisco, California, United States
Open Positions
0 jobs at Theorem
No open positions
Check back later for new openings