Han, Jesse Michael

Formal Mathematics Statement Curriculum Learning

Polu, S., Han, J. M., Zheng, K., Baksys, M., Babuschkin, I., & Sutskever, I. (2022) · arXiv

Mathematics, Computing, and Information ProcessingLogic, programming, and type systems

Cited by 26

MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics

Zheng, K., Han, J. M., & Polu, S. (2021) · arXiv

Mathematics, Computing, and Information ProcessingTopic Modeling

Cited by 26

Proof Artifact Co-training for Theorem Proving with Language Models

Han, J. M., Rute, J., Wu, Y., Ayers, E. W., & Polu, S. (2021) · arXiv

Logic, programming, and type systemsMathematics, Computing, and Information Processing

Cited by 21