Jesse Michael Han

According to our database, Jesse Michael Han authored at least 11 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Formal Mathematics Statement Curriculum Learning.

Stanislas Polu, Jesse Michael Han, Kunhao Zheng, Mantas Baksys, Igor Babuschkin, Ilya Sutskever

Proceedings of the Eleventh International Conference on Learning Representations, 2023

2022

Text and Code Embeddings by Contrastive Pre-Training.

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

CoRR, 2022

miniF2F: a cross-system benchmark for formal Olympiad-level mathematics.

Kunhao Zheng, Jesse Michael Han, Stanislas Polu

Proceedings of the Tenth International Conference on Learning Representations, 2022

Proof Artifact Co-Training for Theorem Proving with Language Models.

Jesse Michael Han, Jason Rute, Yuhuai Wu, Edward W. Ayers, Stanislas Polu

Proceedings of the Tenth International Conference on Learning Representations, 2022

2021

Unsupervised Neural Machine Translation with Generative Language Models Only.

Jesse Michael Han, Igor Babuschkin, Harrison Edwards, Arvind Neelakantan, Tao Xu, Stanislas Polu, Alex Ray, Pranav Shyam, Aditya Ramesh, Alec Radford, Ilya Sutskever

CoRR, 2021

k-Equivalence Relations and Associated Algorithms.

Daniel Selsam, Jesse Michael Han

CoRR, 2021

Automatically Building Diagrams for Olympiad Geometry Problems.

Ryan Krueger, Jesse Michael Han, Daniel Selsam

Proceedings of the Automated Deduction - CADE 28, 2021

2020

Universal Policies for Software-Defined MDPs.

Daniel Selsam, Jesse Michael Han, Leonardo de Moura, Patrice Godefroid

CoRR, 2020

Enhancing SAT solvers with glue variable predictions.

Jesse Michael Han

CoRR, 2020

A formal proof of the independence of the continuum hypothesis.

Jesse Michael Han, Floris van Doorn

Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2020

2019

A Formalization of Forcing and the Unprovability of the Continuum Hypothesis.

Jesse Michael Han, Floris van Doorn

Proceedings of the 10th International Conference on Interactive Theorem Proving, 2019