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

Other authors to follow

Back to home