| Generative language modeling for automated theorem proving S Polu, I Sutskever arXiv preprint arXiv:2009.03393, 2020 | 206 | 2020 |
| Formal mathematics statement curriculum learning S Polu, JM Han, K Zheng, M Baksys, I Babuschkin, I Sutskever arXiv preprint arXiv:2202.01344, 2022 | 102 | 2022 |
| 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 | 69 | 2021 |
| Minif2f: a cross-system benchmark for formal olympiad-level mathematics K Zheng, JM Han, S Polu arXiv preprint arXiv:2109.00110, 2021 | 64 | 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 | 23 | 2021 |
| 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 | 7 | 2021 |
| 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 Pittsburgh在 pitt.edu 的电子邮件经过验证
