| Generative language modeling for automated theorem proving S Polu, I Sutskever arXiv preprint arXiv:2009.03393, 2020 | 285 | 2020 |
| Formal mathematics statement curriculum learning S Polu, JM Han, K Zheng, M Baksys, I Babuschkin, I Sutskever arXiv preprint arXiv:2202.01344, 2022 | 153 | 2022 |
| Minif2f: a cross-system benchmark for formal olympiad-level mathematics K Zheng, JM Han, S Polu arXiv preprint arXiv:2109.00110, 2021 | 136 | 2021 |
| Proof artifact co-training for theorem proving with language models JM Han, J Rute, Y Wu, EW Ayers, S Polu arXiv preprint arXiv:2102.06203, 2021 | 113 | 2021 |
| Unsupervised neural machine translation with generative language models only JM Han, I Babuschkin, H Edwards, A Neelakantan, T Xu, S Polu, A Ray, ... arXiv preprint arXiv:2110.05448, 2021 | 28 | 2021 |
| Numinamath: The largest public dataset in ai4maths with 860k pairs of competition math problems and solutions J Li, E Beeching, L Tunstall, B Lipkin, R Soletskyi, S Huang, K Rasul, L Yu, ... Hugging Face repository 13, 9, 2024 | 14 | 2024 |
| Numinamath LI Jia, E Beeching, L Tunstall, B Lipkin, R Soletskyi, SC Huang, K Rasul, ... | 10 | 2024 |
| Contrastive finetuning of generative language models for informal premise selection JM Han, T Xu, S Polu, A Neelakantan, A Radford 6th Conference on Artificial Intelligence and Theorem Proving, 2021 | 8 | 2021 |
| Numinamath J Li, E Beeching, L Tunstall, B Lipkin, R Soletskyi, SC Huang, K Rasul, ... | 7 | 2024 |
| Generative Language Modeling for Automated Theorem Proving. arXiv, Sept. 2020. doi: 10.48550 S Polu, I Sutskever arXiv, 2009 | 7 | 2009 |
| The Stellar Consensus Protocol (SCP) N Barry, G Losa, D Mazieres, J McCaleb, S Polu Internet Engineering Task Force, Internet-Draft draft-mazieres-dinrg-scp-05, 2018 | 5 | 2018 |
| Discrepancy-sensitive dynamic fractional cascading, dominated maxima searching, and 2-d nearest neighbors in any minkowski metric MJ Atallah, M Blanton, MT Goodrich, S Polu Workshop on Algorithms and Data Structures, 114-126, 2007 | 1 | 2007 |
| Personal Storage Clouds from Portable Components S Polu, D Mazieres | | |
Jesse Michael HanUniversity of PittsburghEmail verificata su pitt.edu