Key facts
- It has raised $6.5M; the latest was Seed Round ($6.0M) in Jan 2026.
- Notable investors include Y Combinator, Pioneer Fund, Khosla Ventures, SBXi, E14 Fund — 10 tracked in total.
- Status: Privately Held (backing).
- ·The complete investor list — 10 names
- ·Watchlist + deal alerts for Theorem
- ·The full record, as it builds
Funding rounds
No funding rounds for Theorem are on record yet — either the company hasn't raised institutional capital, or the raise hasn't surfaced in our sources.
About Theorem
Developer of verification tools designed for secure and scalable software development. The company's tools use artificial intelligence to deliver real-time program equivalence checks, automated migration proofs and zero-day detection in complex codebases, enabling enterprise engineers and cybersecurity teams to streamline program verification.
- Sector
- Information Technology
- HQ
- San Francisco, CA, United States
- Founded
- 2025
- Employees
- 3
- Website
- theoremlabs.com/
- Ownership
- Privately Held (backing)
Theorem doesn't have a composite mark yet — a PA Mark is published once enough pricing inputs exist (trade prints, fund marks, round prices). The rest of the record below builds toward it.
Recorded secondary trades
No secondary trades in Theorem shares have been recorded yet. When a print lands — third-party, direct report, or platform — it appears here with structure, source, and price.
Institutional fund marks
No SEC-registered fund has reported a fair-value mark on Theorem in its N-PORT filings yet. We sweep new filings monthly.