Cohort 3 · pre seed

TypeSafe AI

Building structured, type-safe AI models to embed reliable intelligence into software

TypeSafe AI develops 'Structured AI,' a class of models built for embedding reliable, composable intelligence into traditional software and automation rather than chat. Founded in 2024 in San Francisco by Diogo Almeida (ex-OpenAI), Erik Gafni, and Sasha Sheng, with a team drawn from OpenAI, Google Brain, and Meta/FAIR.

Funding

$2M total raised

Notable investors

Founder