AI People Wiki

Builders & open source

Karl Cobbe

Researcher, OpenAI

Karl Cobbe is an OpenAI researcher associated with the Procgen Benchmark for measuring RL generalization, with verifier-based approaches to math word problems (GSM8K), and with foundational contributions to OpenAI o1. OpenAI and academic publications document these lines of work on sample efficiency, generalization, and solution verification.123

At a glance

Current role
Researcher
Company
OpenAI
Sources cited
3
Profile reviewed

Accomplishments

  • Coauthored Procgen Benchmark.1
  • Foundational contributor to OpenAI o1.3

Procgen and verifiers

Cobbe coauthored the Procgen Benchmark paper and OpenAI's Procgen release for procedurally generated RL environments. Separate work on training verifiers to solve math word problems introduced GSM8K-style verification for selecting correct solutions.12

o1

OpenAI's o1 contributions page lists Cobbe among foundational contributors to the reasoning model effort.3

Timeline

  1. Procgen Benchmark published.1
  2. Training Verifiers / GSM8K work.2
  3. Listed on OpenAI o1 contributions.3

Where they work

Suggest a correction or removal

Profiles cover public professional work only, and each statement cites a source. If something is out of date, missing or wrong, tell us and link a source. People can also ask for their profile to be corrected or removed.

References

3 sources · profile reviewed Oct 24, 2026 · data updated Oct 24, 2026

  1. Procgen Benchmark | OpenAIOpenAI · Announcement · accessed Oct 24, 2026
  2. Training Verifiers to Solve Math Word ProblemsarXiv · Paper · published 2021 · accessed Oct 24, 2026
  3. OpenAI o1 ContributionsOpenAI · Official page · accessed Oct 24, 2026