Inscrição YC de Theorem
Theorem passou pela Y Combinator no batch Spring 2025 como uma empresa B2B. Abaixo: o que a empresa faz, quem a fundou e sua inscrição para a YC, reconstruída pergunta por pergunta no formulário real da YC.
- Batch YC
- Spring 2025
- Indústria
- B2BEngineering, Product and Design
- Tamanho da equipe
- 4
- Status
- Active
- Lançada
- 2025
Fundadores
- Jason Gross
- Rajashree Agrawal
O que Theorem faz
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!
Inscrição YC de Theorem, reconstruída
Inscrição Y Combinator
Theorem, lote Spring 2025. As verdadeiras perguntas do formulário, respondidas com dados públicos.
- 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 respostas a mais na inscrição completa
Founders, Progress, Idea, Equity, Curious, Batch Preference estão na versão completa. Crie uma conta gratuita para abri-la no YC Insights, ao lado de todos os outros batches da YC.
Perguntas Frequentes
Esta é a inscrição real da YC de Theorem?
Não. A Y Combinator mantém as inscrições submetidas em privado. Esta é uma reconstrução: as perguntas reais do formulário da YC, respondidas a partir dos dados públicos de Theorem (notas de lançamento, históricos de fundadores, descrição do produto). Mostra como uma empresa como Theorem se apresentaria à YC, não o texto que eles submeteram.
Em qual batch da YC Theorem esteve?
Theorem fez parte do batch Spring 2025 da Y Combinator.
Quem fundou o Theorem?
O Theorem foi fundado por Jason Gross, Rajashree Agrawal.
O que o Theorem faz?
Program verification so even your systems engineers can vibecode
Como eu leio o application completo reconstruído?
Crie uma conta gratuita no Round Funded. A versão completa de 26 respostas do application do Theorem, e de todos os outros lotes do YC, está no YC Insights.
Mais startups YC como Theorem
