Theorem

Program verification so even your systems engineers can vibecode

Ansætter

Hjemmeside ↗Kilde: Y Combinator ↗

Om virksomheden

Virksomhedsbeskrivelse 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-batch: Spring 2025
Status: Aktiv
Fase: Tidlig fase

Lignende startups og konkurrenter

Podium

Ansætter

Hvad de laver:

Få flere leads. Tjen flere penge.

Anvendt AI E-handel

Kort fortalt:

Hovedkontor: Lehi, UT, USA

1.000 ansatteYC W16VækstfaseLedige stillinger: 58

Se profil Hjemmeside ↗

Flock Safety

Ansætter

Hvad de laver:

Det første styresystem for offentlig sikkerhed, der eliminerer kriminalitet.

Kort fortalt:

Hovedkontor: Atlanta, GA, USA

1.000 ansatteYC S17Vækstfase

Se profil Hjemmeside ↗

Checkr

Ansætter

Hvad de laver:

Personaleinfrastruktur til fremtidens arbejdsliv

HR og rekruttering Anvendt AI Udviklerværktøjer Legaltech

Kort fortalt:

Hovedkontor: San Francisco, CA, USA

800 ansatteYC S14VækstfaseLedige stillinger: 43

Se profil Hjemmeside ↗

Scale AI

Ansætter

Hvad de laver:

Datacentreret infrastruktur, der fremskynder udviklingen af AI

Kort fortalt:

Hovedkontor: San Francisco, CA, USA

500 ansatteYC S16VækstfaseLedige stillinger: 182

Se profil Hjemmeside ↗

Scribd

Hvad de laver:

Verdens største onlinebibliotek.

Anvendt AI Uddannelse

Kort fortalt:

Hovedkontor: San Francisco, CA, USA

300 ansatteYC S06Vækstfase

Se profil Hjemmeside ↗

Relativity Space

Ansætter

Hvad de laver:

Vi bygger menneskehedens multiplanetariske fremtid.

Produktion og chips Anvendt AI Rumfart og forsvar

Kort fortalt:

Hovedkontor: Los Angeles, CA, USA

2.500 ansatteYC W16Vækstfase

Se profil Hjemmeside ↗

Spørgsmål og svar

Hvor holder Theorem til?

San Francisco, CA, USA

Hvor mange arbejder hos Theorem?

Antal ansatte ifølge virksomhedsprofilen: 4.

Har Theorem rejst kapital?

Der er ingen investeringsrunder for Theorem i vores data.

Hvilke alternativer er der til Theorem?

Lignende startups: Podium, Flock Safety og Checkr.