funding_articleMay 20, 2026Confidence: high
Theorem raises $6M (VentureBeat)
$6M seed led by Khosla Ventures; YC, e14, SAIF, Halcyon, and angels participated.
Affected score: yesObserved: May 20, 2026Round: SeedAmount: $6M
raisedseed
T
Theorem
SeedMarket data is refreshed once per day from public sources. Information may be incomplete or outdated — verify independently before making decisions. This is not investment advice.
Beta
DealFlow OS uses public web data and automated enrichment. Research may be incomplete, outdated, or incorrect. Verify important information before making investment or outreach decisions.
Investor read
Evidence-bound summary — expand sections for movement, risks, and signals.
Memo snapshot · May 20, 2026, 6:17 PM
Beta
DealFlow OS uses public web data and automated enrichment. Research may be incomplete, outdated, or incorrect. Verify important information before making investment or outreach decisions.
What they do
Theorem Trustworthy-by-default AI coding via verification.
Funding
Raised $6M across 1 funding round. Latest: $6M Seed (Jan 2026). Investors: Khosla Ventures, Y Combinator, e14, SAIF, Halcyon. (High).
Quick read
- •Theorem Trustworthy-by-default AI coding via verification.
- •Reported angle: Catching bugs with fractional proofs | Theorem
- •Indexed activity snapshot: 1 funding‑related row(s), 2 hiring‑related, 1 GitHub‑tagged, 6 product/news‑style — scoring reflects corpus coverage only.
Stage
Unknown
Evidence summary
Verified facts
- •Theorem Trustworthy-by-default AI coding via verification.
- •Reported angle: Catching bugs with fractional proofs | Theorem
- •Indexed activity snapshot: 1 funding‑related row(s), 2 hiring‑related, 1 GitHub‑tagged, 6 product/news‑style — scoring reflects corpus coverage only.
Recent movers
- •May 11, 2026 · Careers — Careers · Theorem
- •May 11, 2026 · Blog / news — Catching bugs with fractional proofs | Theorem
- •May 20, 2026 · venturebeat.com — Theorem raises $6M (VentureBeat)
+5 more in Recent movement below
- •May 11, 2026 · Careers — Careers · Theorem
- •May 11, 2026 · Blog / news — Catching bugs with fractional proofs | Theorem
- •May 20, 2026 · venturebeat.com — Theorem raises $6M (VentureBeat)
- •May 20, 2026 · theorem.dev — lf-lean blog
- •May 11, 2026 · Blog / news — Theorem
- •May 11, 2026 · Careers — Theorem
- •May 11, 2026 · GitHub (linked from site) — Theorem · GitHub
- •May 11, 2026 · Blog / news — Blog | Theorem
- •Khosla Ventures
- •Y Combinator
- •e14
- •SAIF
- •Halcyon
Funding
Raised $6M across 1 funding round. Latest: $6M Seed (Jan 2026). Investors: Khosla Ventures, Y Combinator, e14, SAIF, Halcyon. (High).
Hiring
2 hiring‑related row(s); role‑spam risk if mostly generic boards (High).
GitHub
1 GitHub‑linked row(s) (Low).
Product / news
6 product/news‑styled row(s); headline risk without filings (High).
Traffic / social
No traffic/social evidence indexed (Low).
Funding & hiring signals
Failed or blocked links
No failed or blocked source links on record.
DealFlow growth score
63.0Moderate public activity signal
7D+0%
30D+0%
High Confidence
The score is an algorithmic estimate based on observed public company-level signals. It may be incomplete, stale, or inaccurate and is not investment, legal, tax, or business advice.
Source health
- public_market_enrichmentokLast checked Mon, May 11, 04:50 AM
- public_page:_pressokLast checked Mon, May 11, 04:50 AM
- public_page:_newsokLast checked Mon, May 11, 04:50 AM
- public_page:_jobsokLast checked Mon, May 11, 04:50 AM
- public_page:_companyokLast checked Mon, May 11, 04:50 AM
- public_page:_careers_okLast checked Mon, May 11, 04:50 AM
- public_page:_careersokLast checked Mon, May 11, 04:50 AM
- public_page:_blog_lf-lean_okLast checked Mon, May 11, 04:50 AM
- public_page:_blog_catching-bugs-with-fractional-proofs_okLast checked Mon, May 11, 04:50 AM
- public_page:_blog_okLast checked Mon, May 11, 04:50 AM
- public_page:_blogokLast checked Mon, May 11, 04:50 AM
- public_page:_aboutokLast checked Mon, May 11, 04:50 AM
- public_page:_okLast checked Mon, May 11, 04:50 AM
- public_page:homeokLast checked Mon, May 11, 04:50 AM
DealFlow score momentum
637D +030D +0
100500
More runs will build history.
The score is an algorithmic estimate based on observed public company-level signals. It may be incomplete, stale, or inaccurate and is not investment, legal, tax, or business advice.
Signal breakdown
Latest momentum signal per category. Expand a card to inspect raw payloads.
Public source summary
- Total evidence rows
- 12
- Latest evidence
- Wed, May 20, 06:17 PM
Source types found
about_pageblogcareers_pagecompany_sitefunding_articlegithubpress
Strongest / recent news-style rows
lf-lean blog
Wed, May 20, 06:17 PM · confidence 85%high quality
https://theorem.dev/blog/lf-lean/Theorem raises $6M (VentureBeat)
Wed, May 20, 06:17 PM · confidence 88%high quality
https://venturebeat.com/security/theorem-wants-to-stop-ai-written-bugs-before-they-ship-and-just-raised-usd6mTheorem
About / company · Mon, May 11, 04:50 AM · confidence 90%high quality
https://theorem.dev/company
Public signal timeline
Newest first · 12 event(s)
1
Wed, May 20, 06:17 PM · company_site · 85% · verified_publichigh quality
Source ↗Theorem
Trustworthy-by-default AI coding via verification.
2
Wed, May 20, 06:17 PM · press · 85% · verified_publichigh quality
Source ↗lf-lean blog
350× faster Rocq-to-Lean translation milestone.
3
Wed, May 20, 06:17 PM · funding_article · 88% · verified_publichigh quality
Source ↗Theorem raises $6M (VentureBeat)
$6M seed led by Khosla Ventures; YC, e14, SAIF, Halcyon, and angels participated.
4
Mon, May 11, 04:50 AM · github · 72% · verified_publichigh quality
Source ↗Theorem · GitHub
Source: GitHub (linked from site)
GitHub presence linked from official site for Theorem.
5
Mon, May 11, 04:50 AM · blog · 90% · publichigh quality
Source ↗Theorem
Source: Blog / news
Formal verification and AI — research and engineering from Theorem.
6
Mon, May 11, 04:50 AM · blog · 90% · publichigh quality
Source ↗Theorem
Source: Blog / news
Formal verification and AI — research and engineering from Theorem.
7
Mon, May 11, 04:50 AM · careers_page · 90% · publichigh quality
Source ↗Theorem
Source: Careers
Formal verification and AI — research and engineering from Theorem.
8
Mon, May 11, 04:50 AM · about_page · 90% · publichigh quality
Source ↗Theorem
Source: About / company
Formal verification and AI — research and engineering from Theorem.
9
Mon, May 11, 04:50 AM · careers_page · 90% · publichigh quality
Source ↗Careers · Theorem
Source: Careers
Join Theorem — we’re building products to make software correct, understandable, and secure.
10
Mon, May 11, 04:50 AM · blog · 90% · publichigh quality
Source ↗Catching bugs with fractional proofs | Theorem
Source: Blog / news
We introduce fractional proof decomposition, a technique for scaling testing compute logarithmically, instead of linearly, with bug rarity. We achieve this efficiency by fusing partial evaluation and property-based testing.
11
Mon, May 11, 04:50 AM · blog · 70% · publichigh quality
Source ↗Blog | Theorem
Source: Blog / news
Theorem research blog
12
Mon, May 11, 04:50 AM · about_page · 90% · publichigh quality
Source ↗Theorem
Source: About / company
Formal verification and AI — research and engineering from Theorem.
Official / company site
1 row(s)
company_site·Wed, May 20, 06:17 PM·Confidence 85%high qualityverified_public
Theorem
Trustworthy-by-default AI coding via verification.
https://theorem.dev/News
3 row(s)
press·Wed, May 20, 06:17 PM·Confidence 85%high qualityverified_public
lf-lean blog
350× faster Rocq-to-Lean translation milestone.
https://theorem.dev/blog/lf-lean/about_page·Mon, May 11, 04:50 AM·Confidence 90%high qualitypublic
Theorem
Source name: About / company
Formal verification and AI — research and engineering from Theorem.
https://theorem.dev/companyabout_page·Mon, May 11, 04:50 AM·Confidence 90%high qualitypublic
Theorem
Source name: About / company
Formal verification and AI — research and engineering from Theorem.
https://theorem.dev/aboutFunding / news
1 row(s)
funding_article·Wed, May 20, 06:17 PM·Confidence 88%high qualityverified_public
Theorem raises $6M (VentureBeat)
$6M seed led by Khosla Ventures; YC, e14, SAIF, Halcyon, and angels participated.
https://venturebeat.com/security/theorem-wants-to-stop-ai-written-bugs-before-they-ship-and-just-raised-usd6mHiring
2 row(s)
careers_page·Mon, May 11, 04:50 AM·Confidence 90%high qualitypublic
Theorem
Source name: Careers
Formal verification and AI — research and engineering from Theorem.
https://theorem.dev/jobscareers_page·Mon, May 11, 04:50 AM·Confidence 90%high qualitypublic
Careers · Theorem
Source name: Careers
Join Theorem — we’re building products to make software correct, understandable, and secure.
https://theorem.dev/careers/GitHub
1 row(s)
github·Mon, May 11, 04:50 AM·Confidence 72%high qualityverified_public
Theorem · GitHub
Source name: GitHub (linked from site)
GitHub presence linked from official site for Theorem.
https://github.com/theorem-labsBlog
4 row(s)
blog·Mon, May 11, 04:50 AM·Confidence 90%high qualitypublic
Theorem
Source name: Blog / news
Formal verification and AI — research and engineering from Theorem.
https://theorem.dev/pressblog·Mon, May 11, 04:50 AM·Confidence 90%high qualitypublic
Theorem
Source name: Blog / news
Formal verification and AI — research and engineering from Theorem.
https://theorem.dev/newsblog·Mon, May 11, 04:50 AM·Confidence 90%high qualitypublic
Catching bugs with fractional proofs | Theorem
Source name: Blog / news
We introduce fractional proof decomposition, a technique for scaling testing compute logarithmically, instead of linearly, with bug rarity. We achieve this efficiency by fusing partial evaluation and property-based testing.
https://theorem.dev/blog/catching-bugs-with-fractional-proofs/blog·Mon, May 11, 04:50 AM·Confidence 70%high qualitypublic
Blog | Theorem
Source name: Blog / news
Theorem research blog
https://theorem.dev/blog/Private workspace
Sign in as an active team member to view private notes, watchlist controls, transcript evidence, and interaction history.