Theorem

Program verification so even your systems engineers can vibecode

Assume

Sito web ↗Fonte: Y Combinator ↗

Informazioni

Descrizione dell’azienda in inglese

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!

Intelligenza artificiale

Temi

Machine Learning B2B Engineering, Product and Design

Sede: San Francisco, CA, USA
Team: 4 dipendenti
Batch YC: Spring 2025
Stato: Attiva
Fase: Fase iniziale

Startup simili e concorrenti

Podium

Assume

Di cosa si occupano:

Ottieni più lead. Guadagna di più.

Intelligenza artificiale E-commerce

In breve:

Sede: Lehi, UT, USA

1000 dipendentiYC W16Fase di crescita58 posizioni aperte

Vedi profilo Sito web ↗

Flock Safety

Assume

Di cosa si occupano:

Il primo sistema operativo per la sicurezza pubblica che elimina la criminalità.

Intelligenza artificiale

In breve:

Sede: Atlanta, GA, USA

1000 dipendentiYC S17Fase di crescita

Vedi profilo Sito web ↗

Checkr

Assume

Di cosa si occupano:

Infrastruttura delle persone per il futuro del lavoro

Risorse umane Intelligenza artificiale Strumenti per sviluppatori Legaltech

In breve:

Sede: San Francisco, CA, USA

800 dipendentiYC S14Fase di crescita43 posizioni aperte

Vedi profilo Sito web ↗

Scale AI

Assume

Di cosa si occupano:

Infrastruttura incentrata sui dati per accelerare lo sviluppo dell'AI

Intelligenza artificiale

In breve:

Sede: San Francisco, CA, USA

500 dipendentiYC S16Fase di crescita182 posizioni aperte

Vedi profilo Sito web ↗

Scribd

Di cosa si occupano:

La più grande biblioteca online del mondo.

Intelligenza artificiale Istruzione

In breve:

Sede: San Francisco, CA, USA

300 dipendentiYC S06Fase di crescita

Vedi profilo Sito web ↗

Relativity Space

Assume

Di cosa si occupano:

Costruiamo il futuro multiplanetario dell'umanità.

Manifattura Intelligenza artificiale Spazio e difesa

In breve:

Sede: Los Angeles, CA, USA

2500 dipendentiYC W16Fase di crescita

Vedi profilo Sito web ↗

Domande e risposte

Dove ha sede Theorem?

San Francisco, CA, USA

Quante persone lavorano in Theorem?

4 dipendenti, secondo il profilo aziendale.

Theorem ha raccolto fondi?

Nei nostri dati non ci sono round di finanziamento di Theorem.

Quali sono le alternative a Theorem?

Startup simili: Podium, Flock Safety e Checkr.