Jesse Michael Han

   Research      Blog      Misc.   


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.


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.


E-mail: jessemichaelhan [at] gmail [dot] com