Jesse Michael Han

Identifiers

• name variant Jesse Michael Han 0.60 · backfill

Papers (3)

1. Text and Code Embeddings by Contrastive Pre-Training cs.CL · 2022 · author #5
2. MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics cs.AI · 2021 · author #2
3. A formalization of forcing and the unprovability of the continuum hypothesis cs.LO · 2019 · author #1

Mentions

• 2109.00110 #2 · arxiv_oai · confidence 0.70 Jesse Michael Han
• 2201.10005 #5 · arxiv_oai · confidence 0.70 Jesse Michael Han

Frequent Coauthors

• Alec Radford 1 shared papers
• Arvind Neelakantan 1 shared papers
• Boris Power 1 shared papers
• Chris Hallacy 1 shared papers
• David Schnurr 1 shared papers
• Felipe Petroski Such 1 shared papers
• Floris van Doorn 1 shared papers
• Girish Sastry 1 shared papers
• Gretchen Krueger 1 shared papers
• Jerry Tworek 1 shared papers
• Joanne Jang 1 shared papers
• Johannes Heidecke 1 shared papers
• Jong Wook Kim 1 shared papers
• Kenny Hsu 1 shared papers
• Kunhao Zheng 1 shared papers
• Lilian Weng 1 shared papers
• Madeleine Thompson 1 shared papers
• Nikolas Tezak 1 shared papers
• Peter Welinder 1 shared papers
• Pranav Shyam 1 shared papers