Polu, Stanislas

Generative Language Modeling for Automated Theorem Proving

Polu, S., & Sutskever, I. (2020) · arXiv

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

Cited by 82

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

Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning

Wang, H., Unsal, M., Lin, X., Baksys, M., Liu, J., Santos, M. D., Sung, F., Vinyes, M., Ying, Z., Zhu, Z., et al. (2025) · arXiv

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

Cited by 2