Jesse Michael Han
Source-listed: CEO and co-founder · Math, Inc.
Record snapshot: Sep 3, 2026. Coverage and affiliations may be incomplete or historical.
Selected work
5- A Formal Proof of the Independence of the Continuum HypothesisSaved credit: Contributor · 2020Explore people connected to this work →
- Proof Artifact Co-training for Theorem Proving with Language ModelsSaved credit: First author · 2022Explore people connected to this work →
- MiniF2F: a cross-system benchmark for formal Olympiad-level mathematicsSaved credit: Contributor · 2022Explore people connected to this work →
- Formal Mathematics Statement Curriculum LearningSaved credit: Contributor · 2023Explore people connected to this work →
- GPT-4 Technical ReportSaved credit: Contributor · 2023Explore people connected to this work →