Researcher at OpenAI working on large language models and mathematics problems
Referenced in coverage
“Researcher who led OpenAI research demonstrating LLMs' ability to solve frontier mathematics problems, designing a prover-verifier workflow that resolved 9 challenging open problems.”