Top accelerator startups

Startups14,448Programs29

14,448 startups · 29 programs

Theorem

Active · Program verification so even your systems engineers can vibecode

WebsiteYC profile

Why it ranks

How the rank works
10signal of 100 · rising 7
  • went through YCProgram · this site+4
  • team of 4Team size · YC's directory+3.6
  • hiringHiring · Titles (titles.fru.dev), YC+2

A sum of public facts, not a judgement and not investment advice.

Competitors

AICodemod Inc.Shared: code migration, engineer, systemPlug and PlayUnited StatesStartup →AIShmoodShared: feedback loopEF 2024New YorkStartup →DataParaQueryShared: gpu accelerated, migrationYC X25New York CityStartup →
Companies closest to Theorem
Company
Codemod Inc.Shared: code migration, engineer, systemPlug and Play Not statedAI, Devtools
ShmoodShared: feedback loopEF 2024Not statedAI
ParaQueryShared: gpu accelerated, migrationYC X25ActiveData, Devtools

Adjacent

OtherSmartanShared: verificationAlchemist Class 30DelawareStartup →OtherRevMapShared: feedback loopArc 2022Startup →AIInactiveEntryShared: machine learning, verification, signYC W17Los AngelesStartup →AITokenlessShared: training model, machine learningYC S26San FranciscoStartup →AIAcquiredTheoremShared: machine learning, theoremYC W14San FranciscoStartup →
Companies next to Theorem
Company
SmartanShared: verificationAlchemist Class 30Not statedOther
RevMapShared: feedback loopArc Arc 2022Not statedOther
EntryShared: machine learning, verification, signYC W17InactiveAI
TokenlessShared: training model, machine learningYC S26ActiveAI, Devtools
TheoremShared: machine learning, theoremYC W14AcquiredAI

Also from X25 in AI

All of X25
AIAcquiredBitPatrolAI-powered code securityYC X25New York CityStartup →AIKairosSpecialized AI for Critical IndustriesYC X25San FranciscoStartup →AIKashikoiSimulation Engine for Benchmarking AI ProductsYC X25San FranciscoStartup →AImlopExperiment tracking for training ML modelsYC X25LondonStartup →AIMorphoAISoftware tool for designing robots and machinesYC X25New York CityStartup →AIPhotoniumAI-Powered Optical Consulting & SoftwareYC X25New York CityStartup →
Company
BitPatrolAI-powered code securityacquiredAcquiredAI, Devtools
KairosSpecialized AI for Critical Industriesteam of 3ActiveAI, Devtools
KashikoiSimulation Engine for Benchmarking AI Productsteam of 2ActiveAI, Devtools
mlopExperiment tracking for training ML modelsteam of 2ActiveAI, Devtools
MorphoAISoftware tool for designing robots and machinesteam of 122 programsActiveAI
PhotoniumAI-Powered Optical Consulting & Softwareteam of 5hiringActiveAI, Devtools

Founders

  • Jason GrossFounder/CEO
  • Rajashree AgrawalFounder/CTO

About Theorem

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!

YC batch
X25 · Spring 2025
Status, per YC
Active
Category
AI, Developer tools
Team size
4
Location
San Francisco, CA, USA
Founded
2025
Checked
13h ago

YC tags: Machine Learning

Theorem in X25: 144 companies, 90% AI

GitHub LinkedIn

Theorem: questions

Which YC batch was Theorem in?

Theorem was in Y Combinator's Spring 2025 batch (X25).

Is Theorem still active?

Y Combinator lists Theorem as active.

Who founded Theorem?

Theorem's founders, as listed on its YC page: Jason Gross (Founder/CEO), Rajashree Agrawal (Founder/CTO).

Where is Theorem based?

Theorem lists San Francisco, CA, USA as its location on YC's directory.