Jesse Michael Han

16 papers A* 3A 1B 2Journal 10

Year	Rank	Type	Title / Venue / Authors
2023	A*	`conf`	Formal Mathematics Statement Curriculum Learning. ICLR Stanislas Polu, Jesse Michael Han, Kunhao Zheng, Mantas Baksys, Igor Babuschkin, Ilya Sutskever
2022	J	`jnl`	Formal Mathematics Statement Curriculum Learning. CoRR Stanislas Polu, Jesse Michael Han, Kunhao Zheng, Mantas Baksys, Igor Babuschkin, Ilya Sutskever
2022	A*	`conf`	Proof Artifact Co-Training for Theorem Proving with Language Models. ICLR Jesse Michael Han, Jason Rute, Yuhuai Wu, Edward W. Ayers, Stanislas Polu
2022	J	`jnl`	Text and Code Embeddings by Contrastive Pre-Training. CoRR 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
2022	A*	`conf`	miniF2F: a cross-system benchmark for formal Olympiad-level mathematics. ICLR Kunhao Zheng, Jesse Michael Han, Stanislas Polu
2021	A	`conf`	Automatically Building Diagrams for Olympiad Geometry Problems. CADE Ryan Krueger, Jesse Michael Han, Daniel Selsam
2021	J	`jnl`	MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics. CoRR Kunhao Zheng, Jesse Michael Han, Stanislas Polu
2021	J	`jnl`	Proof Artifact Co-training for Theorem Proving with Language Models. CoRR Jesse Michael Han, Jason Rute, Yuhuai Wu, Edward W. Ayers, Stanislas Polu
2021	J	`jnl`	Unsupervised Neural Machine Translation with Generative Language Models Only. CoRR Jesse Michael Han, Igor Babuschkin, Harrison Edwards, Arvind Neelakantan, Tao Xu, Stanislas Polu, Alex Ray, Pranav Shyam, Aditya Ramesh, Alec Radford, Ilya Sutskever
2021	J	`jnl`	k-Equivalence Relations and Associated Algorithms. CoRR Daniel Selsam, Jesse Michael Han
2020	B	`conf`	A formal proof of the independence of the continuum hypothesis. CPP Jesse Michael Han, Floris van Doorn
2020	J	`jnl`	Automatically Building Diagrams for Olympiad Geometry Problems. CoRR Ryan Krueger, Jesse Michael Han, Daniel Selsam
2020	J	`jnl`	Enhancing SAT solvers with glue variable predictions. CoRR Jesse Michael Han
2020	J	`jnl`	Universal Policies for Software-Defined MDPs. CoRR Daniel Selsam, Jesse Michael Han, Leonardo de Moura, Patrice Godefroid
2019	B	`conf`	A Formalization of Forcing and the Unprovability of the Continuum Hypothesis. ITP Jesse Michael Han, Floris van Doorn
2019	J	`jnl`	A formalization of forcing and the unprovability of the continuum hypothesis. CoRR Jesse Michael Han, Floris van Doorn