Theorem
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!
Y Combinator
yc-company-directory #258Theorem 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!
sourceY Combinator
yc-company-directory #3472Theorem conducts independent underwriting of consumer loans originated by banks, credit cards companies and other lenders. We utilize this information to manage institutional capital and securitize loans
sourceTheorem is classified as AI infrastructure from source descriptions and fund-directory context. Similar companies below are ranked from offline product facets and meaningful description overlap; category and source affiliation can only strengthen an existing product match. For lookup-created rows, the profile starts as pending enrichment until deeper source collection runs.
Local clusters rerank extracted product concepts and description terms. The generated graph remains the fallback for sparse descriptions: offline reciprocal product-similarity graph: extracted concepts + description terms + bounded category/affiliation boosts. Minimum fallback score: 0; max competitors: 6.
Companies similar to Theorem
A deterministic local cluster built from offline product facets and meaningful description terms. Category and selected-institution affiliation provide bounded tie-breaks. Open any peer to continue exploring its cluster.
moonrepo
match 77moonrepo is a developer tool that reduces build/test/deploy times, and maintenance costs for companies. We’ve achieved this through moon, our open source build system and repository management tool. moon can be paired with moonbase, our paid service that provides cloud caching, CI insights, code ownership, and health score related metrics. The company is founded by Miles Johnson and James Pozdena who have a combined 25+ years in the software development industry with tenure at Airbnb and Coinbas
shared extracted concept terms: companie, code; shared product terms: developer, time, companie, system; shared product theme: developer infrastructure; same category: AI infrastructure; shared affiliation: Y Combinator
Astro
match 67Astro finds and buys land for new renewable energy projects, secures grid connections at minimal cost, and sells these development-ready projects to larger energy companies. Founded by Alex Fuster, a former Citadel energy trader, Astro's AI models identify profitable grid connections that eliminate the surprise costs causing 80-90% of renewable projects to fail. With the U.S. needing 2,000 gigawatts of new power generation by 2035 for AI data centers and electrification, Astro unlocks developmen
shared extracted concept terms: companie; shared product terms: secure, companie, found, model; shared product theme: security and compliance; same category: AI infrastructure; shared affiliation: Y Combinator
Light Table/Eve
match 66Light Table is a new interactive IDE that lets you modify running programs and embed anything from websites to games. It provides the real time feedback we need to not only answer questions about our code, but to understand how our programs really work.
shared extracted concept terms: program, code; shared product terms: program, time, feedback, need; shared product theme: developer infrastructure; shared affiliation: Y Combinator
Hypercubic
match 64Hypercubic is an AI-native platform for mainframe operations and modernization. We help enterprises understand and modernize their mission-critical legacy systems. About 70% of the Fortune 500 companies still rely on them to run their core business applications in banking, insurance, telecom, airlines, retail, and more. These systems, originally built in the 1960s–90s, still power trillions in global infrastructure today but have become increasingly opaque as original developers retire or leave
shared extracted concept terms: bank; shared product terms: legacy, system, companie, bank; shared product theme: developer infrastructure, finance and payments; same category: AI infrastructure; shared affiliation: Y Combinator
Texel.ai
match 59Texel is a platform that enables developers to generate hardware-accelerated APIs for running AI pipelines 10 times faster, including image and video applications. For example, developers can use the latest NVIDIA GPUs or Google TPUs without having to become hardware experts themselves.
shared extracted concept terms: accelerat; shared product terms: developer, accelerat, 10, time; shared product theme: developer infrastructure; same category: AI infrastructure; shared affiliation: Y Combinator
Argument Computer Corporation
match 53Argument combines zero-knowledge cryptography, formal verification and distributed consensus technologies to build systems for unbreakable, scalable, private, decentralized software.
shared extracted concept terms: cryptography, verification; shared product terms: zero, cryptography, verification, system; shared affiliation: Y Combinator