Theorem

Program verification so even your systems engineers can vibecode

Contratando

Site ↗Fonte: Y Combinator ↗

Sobre

Descrição da empresa em inglês

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!

Inteligência artificial

Temas

Machine Learning B2B Engineering, Product and Design

Localização: San Francisco, CA, Estados Unidos
Equipe: 4 funcionários
Turma da YC: Spring 2025
Status: Ativa
Estágio: Estágio inicial

Startups semelhantes e concorrentes

Podium

Contratando

O que fazem:

Gere mais leads. Ganhe mais dinheiro.

Inteligência artificial E-commerce

Dados rápidos:

Sede: Lehi, UT, Estados Unidos

1.000 funcionáriosYC W16Estágio de crescimento58 vagas abertas

Ver perfil Site ↗

Flock Safety

Contratando

O que fazem:

O primeiro sistema operacional de segurança pública que elimina o crime.

Inteligência artificial

Dados rápidos:

Sede: Atlanta, GA, Estados Unidos

1.000 funcionáriosYC S17Estágio de crescimento

Ver perfil Site ↗

Checkr

Contratando

O que fazem:

Infraestrutura de pessoas para o futuro do trabalho

Recursos humanos Inteligência artificial Ferramentas para desenvolvedores Legaltech

Dados rápidos:

Sede: San Francisco, CA, Estados Unidos

800 funcionáriosYC S14Estágio de crescimento43 vagas abertas

Ver perfil Site ↗

Scale AI

Contratando

O que fazem:

Infraestrutura centrada em dados para acelerar o desenvolvimento da AI

Inteligência artificial

Dados rápidos:

Sede: San Francisco, CA, Estados Unidos

500 funcionáriosYC S16Estágio de crescimento182 vagas abertas

Ver perfil Site ↗

Scribd

O que fazem:

A maior biblioteca online do mundo.

Inteligência artificial Educação

Dados rápidos:

Sede: San Francisco, CA, Estados Unidos

300 funcionáriosYC S06Estágio de crescimento

Ver perfil Site ↗

Relativity Space

Contratando

O que fazem:

Construindo o futuro multiplanetário da humanidade.

Manufatura Inteligência artificial Espaço e defesa

Dados rápidos:

Sede: Los Angeles, CA, Estados Unidos

2.500 funcionáriosYC W16Estágio de crescimento

Ver perfil Site ↗

Perguntas e respostas

Onde fica a sede da Theorem?

San Francisco, CA, Estados Unidos

Quantas pessoas trabalham na Theorem?

4 funcionários, segundo o perfil da empresa.

A Theorem já captou investimento?

Não há rodadas de investimento da Theorem em nossos dados.

Quais são as alternativas à Theorem?

Startups semelhantes: Podium, Flock Safety e Checkr.