{"listing":{"listing_type":"company","name":"Theorem","slug":"theorem-2","tagline":"Program verification so even your systems engineers can vibecode","description":"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!\n\nTheorem is a Y Combinator company (Spring 2025). YC-listed status: Active.","url":"https://theorem.dev/","is_stealth":false,"normalized_domain":"theorem.dev","normalized_url_key":"theorem.dev","parent_slug":null,"parent":null,"type_data":{},"logo":"https://bookface-images.s3.amazonaws.com/small_logos/4462cecf7e86ccbeaa67750a89b934e1dcf2fa9f.png","links":[{"label":"Y Combinator profile","url":"https://www.ycombinator.com/companies/theorem-2","platform":"ycombinator"}],"entry_points":[{"kind":"homepage","url":"https://theorem.dev/","audience":"any","primary":false,"listed_by":"community","derived_from":"url","on_listing_domain":true}],"primary_entry_points":{"human":{"kind":"homepage","url":"https://theorem.dev/","audience":"any","primary":false,"listed_by":"community","derived_from":"url","on_listing_domain":true},"agent":null},"founders":[],"media":null,"categories":["B2B","Engineering, Product and Design","Machine Learning"],"stage":null,"founded_year":null,"location":"San Francisco, CA, USA","pricing":null,"twitter":null,"github":null,"linkedin":null,"contact_email":null,"added_at":"2026-09-03T08:07:26.027Z","added_via":"web","geo":{"keywords":["Y Combinator","YC Spring 2025","Machine Learning"],"one_liner_for_search":"Theorem — Program verification so even your systems engineers can vibecode (Y Combinator Spring 2025)","canonical_facts":["Y Combinator batch: Spring 2025","YC company status: Active","Team size (per YC directory): 4","YC industry: B2B","YC subindustry: B2B / Engineering, Product and Design","Former names: Aletheia","Regions (per YC): United States of America, America / Canada"]},"agents":null,"featured_until":null,"example":false,"ownership_status":"unclaimed","claimed_by_agent_id":null,"claimed_via_claim_id":null,"claimed_at":null,"updated_at":"2026-09-03T08:07:26.027Z","is_featured":false,"category_memberships":[{"kind":"industry","slug":"b2b","name":"B2B","note":null,"profile_url":"/industries/b2b"},{"kind":"industry","slug":"engineering-product-and-design","name":"Engineering, Product and Design","note":null,"profile_url":"/industries/engineering-product-and-design"},{"kind":"industry","slug":"machine-learning","name":"Machine Learning","note":null,"profile_url":"/industries/machine-learning"}]}}