Theorem
Program verification so even your systems engineers can vibecode
Y CombinatorSpring 2025ActiveB2BEngineering, Product and DesignMachine Learning
What they do
Problem
Complex software systems are hard to verify for correctness and security, making bugs and vulnerabilities difficult and slow to find.
Solution
Theorem trains models that dramatically accelerate program verification by using verification as a feedback loop for developers.
Who it's for
Developers and systems engineers building or maintaining complex, high-assurance codebases such as GPU and cryptography software.
Founders
Jason Gross
Founder
Developed performant, verified code powering trillions of https connections to Chrome and other browsers.
Rajashree Agrawal
Founder
Babysitting models.
Open roles 4
Company timeline
- Founded2025
- YC batchSpring 2025
- StatusActive
- Team size4 people
- LocationSan Francisco, CA, USA
Similar startups
Dockup
On demand ephemeral environments to run manual and automated tests.
Propolis
Hands off QA via intelligent browser agents.
Ultralight
Universal, Pure-GPU HTML Renderer
NewsCatcher
Turning the web into a structured database of real world events.
Trieve
All-in-one API for search, RAG, & recommendations
Gitbutler
It is very clear that the practice of software engineering is being u…