Jesse Michael Han

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 16

Top Topics

Weighted Max Sat

Top Venues

Publications

Stanislas Polu, Jesse Michael Han, Kunhao Zheng, Mantas Baksys, Igor Babuschkin, Ilya Sutskever
Formal Mathematics Statement Curriculum Learning. ICLR (2023)
Arvind Neelakantan, Tao Xu, Raul Puri, Alec Radford, Jesse Michael Han, Jerry Tworek, Qiming Yuan, Nikolas Tezak, Jong Wook Kim, Chris Hallacy, Johannes Heidecke, Pranav Shyam, Boris Power, Tyna Eloundou Nekoul, Girish Sastry, Gretchen Krueger, David Schnurr, Felipe Petroski Such, Kenny Hsu, Madeleine Thompson, Tabarak Khan, Toki Sherbakov, Joanne Jang, Peter Welinder, Lilian Weng
Text and Code Embeddings by Contrastive Pre-Training. CoRR (2022)
Kunhao Zheng, Jesse Michael Han, Stanislas Polu
miniF2F: a cross-system benchmark for formal Olympiad-level mathematics. ICLR (2022)
Stanislas Polu, Jesse Michael Han, Kunhao Zheng, Mantas Baksys, Igor Babuschkin, Ilya Sutskever
Formal Mathematics Statement Curriculum Learning. CoRR (2022)
Jesse Michael Han, Jason Rute, Yuhuai Wu, Edward W. Ayers, Stanislas Polu
Proof Artifact Co-Training for Theorem Proving with Language Models. ICLR (2022)
Daniel Selsam, Jesse Michael Han
k-Equivalence Relations and Associated Algorithms. CoRR (2021)
Jesse Michael Han, Jason Rute, Yuhuai Wu, Edward W. Ayers, Stanislas Polu
Proof Artifact Co-training for Theorem Proving with Language Models. CoRR (2021)
Jesse Michael Han, Igor Babuschkin, Harrison Edwards, Arvind Neelakantan, Tao Xu, Stanislas Polu, Alex Ray, Pranav Shyam, Aditya Ramesh, Alec Radford, Ilya Sutskever
Unsupervised Neural Machine Translation with Generative Language Models Only. CoRR (2021)
Kunhao Zheng, Jesse Michael Han, Stanislas Polu
MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics. CoRR (2021)
Ryan Krueger, Jesse Michael Han, Daniel Selsam
Automatically Building Diagrams for Olympiad Geometry Problems. CADE (2021)
Jesse Michael Han
Enhancing SAT solvers with glue variable predictions. CoRR (2020)
Daniel Selsam, Jesse Michael Han, Leonardo de Moura, Patrice Godefroid
Universal Policies for Software-Defined MDPs. CoRR (2020)
Jesse Michael Han, Floris van Doorn
A formal proof of the independence of the continuum hypothesis. CPP (2020)
Ryan Krueger, Jesse Michael Han, Daniel Selsam
Automatically Building Diagrams for Olympiad Geometry Problems. CoRR (2020)
Jesse Michael Han, Floris van Doorn
A Formalization of Forcing and the Unprovability of the Continuum Hypothesis. ITP (2019)
Jesse Michael Han, Floris van Doorn
A formalization of forcing and the unprovability of the continuum hypothesis. CoRR (2019)