| CARVIEW |
Select Language
HTTP/2 200
server: GitHub.com
content-type: text/html; charset=utf-8
last-modified: Mon, 27 Jan 2025 08:39:03 GMT
access-control-allow-origin: *
strict-transport-security: max-age=31556952
etag: W/"67974627-1190"
expires: Wed, 31 Dec 2025 01:38:57 GMT
cache-control: max-age=600
content-encoding: gzip
x-proxy-cache: MISS
x-github-request-id: C0B6:272D88:AA4C1D:BF75B1:69547C59
accept-ranges: bytes
age: 0
date: Wed, 31 Dec 2025 02:45:42 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210056-BOM
x-cache: HIT
x-cache-hits: 0
x-timer: S1767149143.554826,VS0,VE202
vary: Accept-Encoding
x-fastly-request-id: c8094b1534e755f985544cb7e107c732a790fe93
content-length: 1556
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