Diogo Almeida is a founder and CEO of TypeSafe AI. Previously at OpenAI and Google Brain, he co-authored the InstructGPT paper and GPT-4 technical report. His current work focuses on models that return structured decisions directly to software.[1][3][4]
Start with Introducing System One Models & Jev →Career
At TypeSafe, Almeida argues that fluent chat does not automatically produce dependable automation. In his launch essay, he introduces Jev as a model that accepts unstructured state but returns values within a predefined output structure, accompanied by probabilities. TypeSafe calls its training approach Reinforcement Learning for Calibrated Decisions. The design prioritizes composing small decisions inside ordinary programs, such as routing, extraction and classification. Its guarantee about matching an output schema is distinct from whether a judgment about the world is correct.[2]
Contributions
Almeida is a co-author of the InstructGPT paper, which describes a training pipeline beginning with human demonstrations, followed by a model of human preferences and reinforcement learning against that feedback. The study found that people preferred outputs from the smaller instruction-tuned model to those from a much larger base GPT-3 model on its test distribution. It also documents remaining mistakes and limitations. Almeida later appears among the authors of the GPT-4 technical report. These were team research efforts that helped make language-model interfaces more responsive to instructions.[3][4]
Ideas
In his Latent Space conversation, Almeida traces his shift from instruction-following assistants toward programmable decision systems. He emphasizes uncertainty: software needs to distinguish a confident answer from an ambiguous one, rather than receive the same fluent response in both cases. He also argues that choosing training tasks and data determines what a model becomes useful for. His public education record lists Georgia Institute of Technology studies from 2014 to 2016.[5][6]
Tools, writing & talks
Writing, research & talks
Start here
Introducing System One Models & Jevtypesafe.aiLaunch essay explaining typed outputs, calibration and the intended automation uses of Jev.
Read the launch essay first for the input/output contract and its examples. Basic API experience is useful; read the limitations alongside performance charts before trying the service.
Author and TypeSafe founder.[2]Technical conversation about the move from chat interfaces toward programmable decisions.
Interview guest.[5]Original sourceTypeSafe CEO Diogo Almeida explains System One Models, the Jev coding model, RLCD, RLHF mode collapse, calibration, refusals when AI sits inside software dependencies, and why the company avoids public benchmarks.
Catalog workOriginal sourceThe InstructGPT paper describing demonstrations, preference modeling and reinforcement learning.
Co-author.[3]