YCX25· AI· DevtoolsTheorem
Program verification so even your systems engineers can vibecode
Founders
- Jason GrossFounder/CEO
- Rajashree AgrawalFounder/CTO
Same space
Competitors
Closest in what they build, same category.
Adjacent
Overlapping tags, a different niche.
InvoidW21Create identity verification workflows the way you wantShared: machine learningInactive
Vibe KanbanS21Plan and review AI generated codeShared: machine learningActive
Andon LabsW24Autonomous organizations without humans in the loopShared: machine learningActive
PhotoniumX25AI-Powered Optical Consulting & SoftwareShared: machine learningActive
FloydHubW17ML Platform for developing, training and deploying ML modelsShared: machine learningInactive
Also from X25 in AI
Batchmates in Spring 2025.
BitPatrolX25AI-powered code securityAcquired
KairosX25Specialized AI for Critical IndustriesActive
KashikoiX25Simulation Engine for Benchmarking AI ProductsActive
mlopX25Experiment tracking for training ML modelsActive
PlexeX25Open-source agents to build predictive ML models from a promptActive
The Robot Learning CompanyX25Tools for the next era of physical automation.Active
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!
San Francisco, CA, USA
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.
Not affiliated with Y Combinator. From YC's public directory. Logos via logo.dev; trademarks belong to their owners.