Fundraising FoxTheorem
7 known investors
Find your way into Theorem
Sign up to find every way you can get introduced to Theorem
- Your email: who you already know at Theorem, and who your contacts know
- 2nd- and 3rd-degree connections: people you know who worked, studied or invested with the Theorem team
- Your LinkedIn: the connections who can make the intro for you
We rank every route by how warm it is, so you raise on warm intros instead of cold emails.
Theorem Labs develops formal verification technology for software, producing mathematical proofs that cover a program's full behavior space, beginning with verified sandboxes designed to contain AI agents. The company targets security use cases where verification remains reliable as adversaries become more capable.
Investors · 7
HalcyonreportedWashington
How we know: svpost.com · Not right? Tell us
SAIFreportedBeijing · $10M – $100M
How we know: svpost.com · Not right? Tell us
Also in the syndicate · 1
e14
Funding
SEC filings, press & company announcements- Undisclosed amountseed fundingJan 2025
Khosla Ventures (lead), e14, Halcyon, Pioneer Fund, SAIF, Y Combinator
Source ↗
Source: company announcements and press reports — follow each round's link for the claim.
In the news
Frequently asked questions
- What does Theorem do?
- Theorem Labs develops formal verification technology for software, producing mathematical proofs that cover a program's full behavior space, beginning with verified sandboxes designed to contain AI agents. The company targets security use cases where verification remains reliable as adversaries become more capable.
- Who are Theorem's investors?
- Theorem's investors include Pioneer, The E14 Fund, Halcyon, Khosla Ventures, SAIF, Y Combinator.