Jesse Michael Han

   Research      Blog      Misc.   

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