🧑🔬 Jesse Michael Han3 papers on this site (2021–2022)OpenAlex · h-index 6 · 15 works · 228 citations (openalex-snapshot, 2026-10-14)Profile data from OpenAlex; authors with the same name are not always told apart.Formal Mathematics Statement Curriculum LearningStanislas Polu, Jesse Michael Han, Kunhao Zheng, et al.2022Text and Code Embeddings by Contrastive Pre-TrainingArvind Neelakantan, Tao Xu, Raul Puri, et al.2022MiniF2F: a cross-system benchmark for formal Olympiad-level mathematicsKunhao Zheng, Jesse Michael Han, Stanislas Polu2021This page in Markdown → https://md.research.elamur.ai/free/en/authors/jesse-michael-han/