Aplicación YC de Theorem
Theorem pasó por Y Combinator en el batch Spring 2025 como una empresa de B2B. Abajo: qué hace la empresa, quién la fundó y su aplicación a YC, reconstruida pregunta por pregunta en el formulario real de YC.
- Batch YC
- Spring 2025
- Industria
- B2BEngineering, Product and Design
- Tamaño del equipo
- 4
- Estado
- Active
- Lanzado
- 2025
Fundadores
- Jason Gross
- Rajashree Agrawal
Lo que hace 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!
Aplicación YC de Theorem, reconstruida
Solicitud de Y Combinator
Theorem, batch Spring 2025. Las preguntas reales del formulario, respondidas con datos 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 respuestas más en la aplicación completa
están en la versión completa. Crea una cuenta gratuita para abrirla en YC Insights, junto a cada otro batch de YC.
Preguntas Frecuentes
¿Es esta la aplicación YC real de Theorem?
No. Y Combinator mantiene privadas las aplicaciones enviadas. Esta es una reconstrucción: las preguntas reales del formulario de YC, respondidas a partir de los datos públicos de Theorem (notas de lanzamiento, antecedentes de fundadores, descripción del producto). Muestra cómo una empresa como Theorem se presentaría a YC, no el texto que enviaron.
¿En qué batch de YC estuvo Theorem?
Theorem formó parte del batch Spring 2025 de Y Combinator.
¿Quién fundó Theorem?
Theorem fue fundado por Jason Gross, Rajashree Agrawal.
¿A qué se dedica Theorem?
Program verification so even your systems engineers can vibecode
¿Cómo leo la aplicación completa reconstruida?
Crea una cuenta gratuita de Round Funded. La versión completa de 26 respuestas de la aplicación de Theorem, y de cada otro batch de YC, está en YC Insights.
Más startups de YC como Theorem
