Han, Jesse Michael

3 publications

ICLR 2023 Formal Mathematics Statement Curriculum Learning Stanislas Polu, Jesse Michael Han, Kunhao Zheng, Mantas Baksys, Igor Babuschkin, Ilya Sutskever

ICLR 2022 Proof Artifact Co-Training for Theorem Proving with Language Models Jesse Michael Han, Jason Rute, Yuhuai Wu, Edward Ayers, Stanislas Polu

ICLR 2022 miniF2F: A Cross-System Benchmark for Formal Olympiad-Level Mathematics Kunhao Zheng, Jesse Michael Han, Stanislas Polu