Theorem

Program verification so even your systems engineers can vibecode

Inaajiri

Tovuti ↗Chanzo: Y Combinator ↗

Kuhusu

Maelezo ya kampuni kwa Kiingereza

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!

Mada

Machine Learning B2B Engineering, Product and Design

Eneo: San Francisco, CA, Marekani
Ukubwa wa timu: Wafanyakazi: 4
Kundi la YC: Spring 2025
Hali: Inafanya kazi
Hatua: Hatua za awali

Startup zinazofanana na washindani

Podium

Inaajiri

Inachofanya:

Pata wateja watarajiwa zaidi. Pata pesa zaidi.

Akili bandia Biashara mtandaoni

Kwa ufupi:

Makao makuu: Lehi, UT, Marekani

Wafanyakazi: 1,000YC W16Hatua ya ukuajiNafasi za kazi: 58

Tazama wasifu Tovuti ↗

Flock Safety

Inaajiri

Inachofanya:

Mfumo endeshi wa kwanza wa usalama wa umma unaoondoa uhalifu.

Kwa ufupi:

Makao makuu: Atlanta, GA, Marekani

Wafanyakazi: 1,000YC S17Hatua ya ukuaji

Tazama wasifu Tovuti ↗

Checkr

Inaajiri

Inachofanya:

Miundombinu ya watu kwa mustakabali wa kazi

Teknolojia ya HR Akili bandia Zana za wasanidi programu Teknolojia ya sheria

Kwa ufupi:

Makao makuu: San Francisco, CA, Marekani

Wafanyakazi: 800YC S14Hatua ya ukuajiNafasi za kazi: 43

Tazama wasifu Tovuti ↗

Scale AI

Inaajiri

Inachofanya:

Miundombinu inayozingatia data ili kuharakisha maendeleo ya AI

Kwa ufupi:

Makao makuu: San Francisco, CA, Marekani

Wafanyakazi: 500YC S16Hatua ya ukuajiNafasi za kazi: 182

Tazama wasifu Tovuti ↗

Scribd

Inachofanya:

Maktaba kubwa zaidi mtandaoni duniani.

Akili bandia Elimu

Kwa ufupi:

Makao makuu: San Francisco, CA, Marekani

Wafanyakazi: 300YC S06Hatua ya ukuaji

Tazama wasifu Tovuti ↗

Relativity Space

Inaajiri

Inachofanya:

Tunajenga mustakabali wa binadamu katika sayari nyingi.

Uzalishaji viwandani Akili bandia Anga za juu na ulinzi

Kwa ufupi:

Makao makuu: Los Angeles, CA, Marekani

Wafanyakazi: 2,500YC W16Hatua ya ukuaji

Tazama wasifu Tovuti ↗

Maswali na majibu

Makao makuu ya Theorem yako wapi?

San Francisco, CA, Marekani

Watu wangapi wanafanya kazi katika Theorem?

Wafanyakazi: 4, kulingana na wasifu wa kampuni.

Je, Theorem imepata ufadhili?

Hakuna awamu za ufadhili za Theorem katika takwimu zetu.

Ni zipi mbadala za Theorem?

Startup zinazofanana: Podium, Flock Safety na Checkr.