Theorem

Program verification so even your systems engineers can vibecode

Stellt ein

Website ↗Quelle: Y Combinator ↗

Über das Unternehmen

Unternehmensbeschreibung auf Englisch

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!

Künstliche Intelligenz

Themen

Machine Learning B2B Engineering, Product and Design

Standort: San Francisco, CA, USA
Teamgröße: 4 Mitarbeitende
YC-Batch: Spring 2025
Status: Aktiv
Phase: Frühphase

Ähnliche Startups und Wettbewerber

Podium

Stellt ein

Was sie machen:

Mehr Leads gewinnen. Mehr Geld verdienen.

Künstliche Intelligenz E-Commerce

Kurz & knapp:

Hauptsitz: Lehi, UT, USA

1.000 MitarbeitendeYC W16Wachstumsphase58 offene Stellen

Profil ansehen Website ↗

Flock Safety

Stellt ein

Was sie machen:

Das erste Betriebssystem für öffentliche Sicherheit, das Kriminalität beseitigt.

Künstliche Intelligenz

Kurz & knapp:

Hauptsitz: Atlanta, GA, USA

1.000 MitarbeitendeYC S17Wachstumsphase

Profil ansehen Website ↗

Checkr

Stellt ein

Was sie machen:

People-Infrastruktur für die Zukunft der Arbeit

HR und Recruiting Künstliche Intelligenz Entwickler-Tools Legal Tech

Kurz & knapp:

Hauptsitz: San Francisco, CA, USA

800 MitarbeitendeYC S14Wachstumsphase43 offene Stellen

Profil ansehen Website ↗

Scale AI

Stellt ein

Was sie machen:

Datenzentrierte Infrastruktur, die die Entwicklung von AI beschleunigt

Künstliche Intelligenz

Kurz & knapp:

Hauptsitz: San Francisco, CA, USA

500 MitarbeitendeYC S16Wachstumsphase182 offene Stellen

Profil ansehen Website ↗

Scribd

Was sie machen:

Die größte Online-Bibliothek der Welt.

Künstliche Intelligenz Bildung

Kurz & knapp:

Hauptsitz: San Francisco, CA, USA

300 MitarbeitendeYC S06Wachstumsphase

Profil ansehen Website ↗

Relativity Space

Stellt ein

Was sie machen:

Wir bauen die multiplanetare Zukunft der Menschheit.

Fertigung Künstliche Intelligenz Raumfahrt und Verteidigung

Kurz & knapp:

Hauptsitz: Los Angeles, CA, USA

2.500 MitarbeitendeYC W16Wachstumsphase

Profil ansehen Website ↗

Fragen und Antworten

Wo sitzt Theorem?

San Francisco, CA, USA

Wie viele Menschen arbeiten bei Theorem?

4 Mitarbeitende laut Unternehmensprofil.

Hat Theorem Kapital eingesammelt?

In unseren Daten gibt es keine Finanzierungsrunden von Theorem.

Welche Alternativen gibt es zu Theorem?

Ähnliche Startups: Podium, Flock Safety und Checkr.