Candidature YC de Theorem
Theorem a été sélectionné par Y Combinator dans le cadre du batch Spring 2025 en tant qu'entreprise B2B. Ci-dessous : ce que fait l'entreprise, qui l'a fondée, et sa candidature à YC, reconstruite question par question dans le vrai formulaire YC.
- Batch YC
- Spring 2025
- Secteur d'activité
- B2BEngineering, Product and Design
- Taille de l'équipe
- 4
- Statut
- Active
- Lancé
- 2025
Fondateurs
- Jason Gross
- Rajashree Agrawal
Ce que fait 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!
Candidature YC de Theorem, reconstruite
Candidature Y Combinator
Theorem, promotion Spring 2025. Les vraies questions de candidature, répondues à partir de données publiques.
- 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 réponses supplémentaires dans la candidature complète
se trouvent dans la version complète. Créez un compte gratuit pour l'ouvrir dans YC Insights, à côté de tous les autres batches YC.
Questions fréquemment posées
Est-ce la vraie candidature YC de Theorem ?
Non. Y Combinator garde les candidatures soumises privées. Ceci est une reconstruction : les vraies questions du formulaire YC, répondues à partir des données publiques de Theorem (notes de lancement, parcours des fondateurs, description du produit). Cela montre comment une entreprise comme Theorem se présenterait à YC, pas le texte qu'ils ont soumis.
À quel batch YC Theorem appartenait-il ?
Theorem faisait partie du batch Spring 2025 de Y Combinator.
Qui a fondé Theorem ?
Theorem a été fondé par Jason Gross, Rajashree Agrawal.
Que fait Theorem ?
Program verification so even your systems engineers can vibecode
Comment lire la candidature complète reconstruite ?
Créez un compte Round Funded gratuit. La version complète de la candidature de Theorem en 26 réponses, et de chaque autre promotion YC, se trouve dans YC Insights.
Plus de startups YC comme Theorem
