1. Home
  2. Companies
  3. TypeSafe AI

About

TypeSafe AI builds machine-native intelligence infrastructure for developers and enterprises that need reliable AI-powered workflows. The company's System One Models are a rebuilt model stack - new architecture, parallel sampling and a training method it calls Reinforcement Learning for Calibrated Decisions (RLCD) - designed to return typed, probabilistic decisions rather than generated strings. The stated aim is to address overconfidence, mode dropping and unreliable model behaviour in production systems, particularly in latency-sensitive and deeply automated workflows where constant human supervision is impractical.

Jev is the first public model built on the System One Models architecture. Because its outputs are typed and probabilistic, software can use them directly to classify, route, score, extract, branch and verify information, without parsing free text. The work spans reinforcement learning, probabilistic decision models, calibrated machine learning, model architecture and parallel sampling, and targets use cases in software development, enterprise software, AI workflow automation and developer tools.

The company is based in San Francisco and was co-founded by Diogo Almeida, Erik Gafni and Sasha Sheng, a team of researchers and operators with roots in frontier AI research, including InstructGPT and ChatGPT. The founding team spent two years developing the idea in stealth before launch.

Similar companies

Scale logoSC

Scale

Scale AI is a San Francisco-based data annotation platform that provides high-quality training data and full-stack AI infrastructure to power machine learning models for enterprises, governments, and AI labs worldwide.

NA

Nace AI

Nace AI builds Small Language Models and trustworthy AI systems for end-to-end enterprise business process automation, with products including NAVI, Nace SLM Cloud, and Nace Data Intelligence.

ID

Idler

Idler builds reinforcement learning environments that train AI models to code at expert human levels, serving AI foundation labs from San Francisco.

Solvd logoSO

Solvd

Solvd is an AI engineering company that builds, implements, and runs production AI systems for enterprises.

Pramaana Labs logoPL

Pramaana Labs

Pramaana Labs builds a verification layer for high-stakes AI, formalizing tax, legal, clinical and safety rules into Lean 4 machine-checkable representations that yield inspectable proof artifacts.

DataRobot, Inc. logoDI

DataRobot, Inc.

DataRobot delivers an enterprise AI platform for building, deploying, and governing predictive and generative AI at scale, helping organizations maximize impact while minimizing risk.