Theorem

Program verification so even your systems engineers can vibecode

Rekryterar

Webbplats ↗Källa: Y Combinator ↗

Om företaget

Företagsbeskrivning på engelska

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!

Ämnen

Machine Learning B2B Engineering, Product and Design

Plats: San Francisco, CA, USA
Teamstorlek: 4 anställda
YC-batch: Spring 2025
Status: Aktiv
Fas: Tidig fas

Liknande startups och konkurrenter

Podium

Rekryterar

Vad de gör:

Få fler leads. Tjäna mer pengar.

Tillämpad AI E-handel

Snabbfakta:

Huvudkontor: Lehi, UT, USA

1 000 anställdaYC W16TillväxtfasLediga tjänster: 58

Visa profil Webbplats ↗

Flock Safety

Rekryterar

Vad de gör:

Det första operativsystemet för allmän säkerhet som eliminerar brott.

Snabbfakta:

Huvudkontor: Atlanta, GA, USA

1 000 anställdaYC S17Tillväxtfas

Visa profil Webbplats ↗

Checkr

Rekryterar

Vad de gör:

Personalinfrastruktur för framtidens arbetsliv

HR och rekrytering Tillämpad AI Utvecklarverktyg Legaltech

Snabbfakta:

Huvudkontor: San Francisco, CA, USA

800 anställdaYC S14TillväxtfasLediga tjänster: 43

Visa profil Webbplats ↗

Scale AI

Rekryterar

Vad de gör:

Datacentrerad infrastruktur som påskyndar utvecklingen av AI

Snabbfakta:

Huvudkontor: San Francisco, CA, USA

500 anställdaYC S16TillväxtfasLediga tjänster: 182

Visa profil Webbplats ↗

Scribd

Vad de gör:

Världens största onlinebibliotek.

Tillämpad AI Utbildning

Snabbfakta:

Huvudkontor: San Francisco, CA, USA

300 anställdaYC S06Tillväxtfas

Visa profil Webbplats ↗

Relativity Space

Rekryterar

Vad de gör:

Vi bygger mänsklighetens multiplanetära framtid.

Tillverkning och halvledare Tillämpad AI Rymd och försvar

Snabbfakta:

Huvudkontor: Los Angeles, CA, USA

2 500 anställdaYC W16Tillväxtfas

Visa profil Webbplats ↗

Frågor och svar

Var har Theorem sitt huvudkontor?

San Francisco, CA, USA

Hur många arbetar på Theorem?

Antal anställda enligt företagsprofilen: 4.

Har Theorem tagit in kapital?

Det finns inga investeringsrundor för Theorem i vårt underlag.

Vilka alternativ finns till Theorem?

Liknande startups: Podium, Flock Safety och Checkr.