Theorem (YC X25) — Program verification so even your systems engineers can vibecode
Theorem is training models that make program verification 10,000 times faster. Using verification as a feedback loop, developers have found zero-days in GPU accelerated code and cryptography implementations, and sped up code migration in legacy systems.
Theorem is a Y Combinator company in the Spring 2025 batch. Its directory entry describes it as: Program verification so even your systems engineers can vibecode. The founders listed are Jason Gross (Founder/CEO), Rajashree Agrawal (Founder/CTO) (Y Combinator directory entry, May 19, 2025).
Get an email when Theorem changes status, grows its team or files a funding notice. One email first to confirm; nothing else until you click it. At most one a day, one click to stop. Free for up to 3 companies.
Example from a real report (our sample on Target): “Target eliminated approximately 1,800 corporate positions, with around 1,000 employees receiving layoff notices and the remainder accounted for by eliminating open roles.” Source: NBC News
Theorem is training models that make program verification 10,000 times faster. Using verification as a feedback loop, developers have found zero-days in GPU accelerated code and cryptography implementations, and sped up code migration in legacy systems. If you have complicated code that needs to be correct and secure, sign up for our beta!
Jason Gross
Founder/CEO
Rajashree Agrawal
Founder/CTO
Founders, titles and bios as the company published them. Photographs are our own copies of the ones on that record, so they do not break when the original link expires.
One of 643 companies held here in B2B › Engineering, Product and Design.
No investor is drawn from a Form D — the form states how many invested and never who. The one investor on this graph is named because a batch has exactly one.
Want the whole picture on Theorem?
Example from a real report (our sample on Target): “Target eliminated approximately 1,800 corporate positions, with around 1,000 employees receiving layoff notices and the remainder accounted for by eliminating open roles.” Source: NBC News
A Full Report on Theorem: verified, sourced, every claim cited, ready in a few minutes. See pricing.
What the Full Report on Theorem covers
The Short Answer
Which Company This Is
What They Do, And How The Money Works
Who Runs It, And How To Reach Them
The Money: Funding, Valuation, Runway
Who Pays Them, And Who They Are Up Against
Warning Bells
Sources
1 cited source found
Plus the sections for what you are deciding, which you pick after ordering.
You get an alert in MentionFox the next time this company shows up.
Is this you?
If you're behind Theorem: acceptance into a YC batch is one of the few weeks a young company gets looked up by people who matter — investors, other founders, press. FoxPlug turns the commits, deploys, and releases you're already making into that story automatically, so anyone who looks finds something current. GetFoxChat puts a guide on your own site so the people YC's own page just sent you don't read one line and leave.
Theorem (YC X25) — Program verification so even your systems engineers can vibecode. MentionFox, 2026-11-01. https://mentionfox.com/funding/yc-theorem-2
