Dan Selsam

Info
Delegate
OpenAI researcher and foundational contributor to OpenAI o1; previously worked on the Lean Theorem Prover at Microsoft Research.
I am this person!
Top New
Back to home