About
I am a research scientist at OpenAI. I am also finishing a mathematics PhD under the supervision of Tom Hales at the University of Pittsburgh.
Research
My research is at the intersection of formal proofs, automated reasoning, and machine learning.
Recently, I worked on SOTA unsupervised machine translation using generative language models only.
Before that, I applied large language models to theorem proving in Lean, built solvers for IMO geometry problems, and led the Flypitch project.
Contact
E-mail: jessemichaelhan [at] gmail [dot] com