Theorem YC Application
Theorem went through Y Combinator in the Spring 2025 batch as a B2B company. Below: what the company does, who founded it, and its application to YC, reconstructed question by question in the real YC form.
- YC batch
- Spring 2025
- Industry
- B2BEngineering, Product and Design
- Team size
- 4
- Status
- Active
- Launched
- 2025
Founders
- Jason Gross
- Rajashree Agrawal
What Theorem does
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!
Theorem's YC application, reconstructed
Y Combinator application
Theorem, Spring 2025 batch. The real form questions, answered from public data.
- Founders2
- Company7
- Progress7
- Idea4
- Equity3
- Curious2
- Batch Preference1
Company
Theorem
Program verification 10,000x faster
We build machine learning models that automate program verification, making it 10,000 times faster. Our technology feeds verification results back into development, helping engineers identify zero-day vulnerabilities in GPU-accelerated code and cryptography, and speed up legacy code migration.
We live and work in San Francisco, and will base the company here after YC.
San Francisco is where our small team is located and where our early users - engineering teams working on complex code - are concentrated. Staying here keeps us close to both talent and customers.
21 more answers in the full application
Founders, Progress, Idea, Equity, Curious, Batch Preference are in the full version. Create a free account to open it in YC Insights, next to every other YC batch.
Frequently Asked Questions
Is this the real Theorem YC application?
No. Y Combinator keeps submitted applications private. This is a reconstruction: the real YC form questions, answered from Theorem's public data (launch notes, founder backgrounds, product description). It shows how a company like Theorem would present itself to YC, not the text they submitted.
What YC batch was Theorem in?
Theorem was part of the Y Combinator Spring 2025 batch.
Who founded Theorem?
Theorem was founded by Jason Gross, Rajashree Agrawal.
What does Theorem do?
Program verification so even your systems engineers can vibecode
How do I read the full reconstructed application?
Create a free Round Funded account. The full 26-answer version of Theorem's application, and every other YC batch, is in YC Insights.
More YC startups like Theorem
