Theorem

Program verification so even your systems engineers can vibecode

Ansetter

Nettside ↗Kilde: Y Combinator ↗

Om selskapet

Selskapsbeskrivelse på engelsk

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!

Emner

Machine Learning B2B Engineering, Product and Design

Sted: San Francisco, CA, USA
Teamstørrelse: 4 ansatte
YC-kull: Spring 2025
Status: Aktiv
Fase: Tidlig fase

Lignende startups og konkurrenter

Podium

Ansetter

Hva de gjør:

Få flere leads. Tjen mer penger.

Anvendt AI Netthandel

Kort fortalt:

Hovedkontor: Lehi, UT, USA

1 000 ansatteYC W16VekstfaseLedige stillinger: 58

Se profil Nettside ↗

Flock Safety

Ansetter

Hva de gjør:

Det første operativsystemet for offentlig sikkerhet som eliminerer kriminalitet.

Kort fortalt:

Hovedkontor: Atlanta, GA, USA

1 000 ansatteYC S17Vekstfase

Se profil Nettside ↗

Checkr

Ansetter

Hva de gjør:

Personalinfrastruktur for fremtidens arbeidsliv

HR og rekruttering Anvendt AI Utviklerverktøy Legaltech

Kort fortalt:

Hovedkontor: San Francisco, CA, USA

800 ansatteYC S14VekstfaseLedige stillinger: 43

Se profil Nettside ↗

Scale AI

Ansetter

Hva de gjør:

Datasentrert infrastruktur som akselererer utviklingen av AI

Kort fortalt:

Hovedkontor: San Francisco, CA, USA

500 ansatteYC S16VekstfaseLedige stillinger: 182

Se profil Nettside ↗

Scribd

Hva de gjør:

Verdens største nettbibliotek.

Anvendt AI Utdanning

Kort fortalt:

Hovedkontor: San Francisco, CA, USA

300 ansatteYC S06Vekstfase

Se profil Nettside ↗

Relativity Space

Ansetter

Hva de gjør:

Vi bygger menneskehetens multiplanetære fremtid.

Produksjon og halvledere Anvendt AI Romfart og forsvar

Kort fortalt:

Hovedkontor: Los Angeles, CA, USA

2 500 ansatteYC W16Vekstfase

Se profil Nettside ↗

Spørsmål og svar

Hvor holder Theorem til?

San Francisco, CA, USA

Hvor mange jobber i Theorem?

Antall ansatte ifølge selskapsprofilen: 4.

Har Theorem hentet kapital?

Det finnes ingen investeringsrunder for Theorem i våre data.

Hvilke alternativer finnes til Theorem?

Lignende startups: Podium, Flock Safety og Checkr.