Stanislas Polu
Artificial Intelligence · 2020–2022
A researcher in the Science corpus: 4 papers; trusts 82 researchers and is trusted by 63 researchers here, as inferred from the citation graph.
Subfields
- Artificial Intelligence — 102 citations into it; #3,379 of 35,345 by trust here, #7,172 by citations
- Natural Language Processing — 44 citations into it; #3,505 of 5,688 by trust here, #3,235 by citations
- Computer Vision and Pattern Recognition — 43 citations into it
- Reinforcement Learning — 24 citations into it
- Large Language Models — 22 citations into it; #106 of 799 by trust here, #486 by citations
- Program Analysis & Verification — 22 citations into it
- Prompting & Reasoning — 22 citations into it; #140 of 359 by trust here, #244 by citations
- Computational Theory and Mathematics — 16 citations into it; #1,277 of 12,182 by trust here, #1,529 by citations
Whom Stanislas Polu trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
- Alec Radford
- Ilya Sutskever
- Christian Szegedy
- Daniel Whalen
- Jia Deng
- Mingzhe Wang
- Geoffrey E. Hinton
- Yoshua Bengio
- Diederik P. Kingma
- Kshitij Bansal
Who trusts Stanislas Polu overall
- Albert Qiaochu Jiang
- Sean Welleck
- Yuhuai Wu
- Jesse Michael Han
- Zhangir Azerbayev
- Eric Zelikman
- Wenda Li
- Kunhao Zheng
- Kaiyu Yang
- Guillaume Lample
Papers from Stanislas Polu's perspective
Ordered by how strongly the researchers Stanislas Polu trusts endorse each paper. Same corpus, a different order for every researcher.
- Deep Residual Learning for Image Recognition (Computer Vision and Pattern Recognition)
- ImageNet classification with deep convolutional neural networks
- Adam: A Method for Stochastic Optimization (International Conference on Learning Representations)
- Attention is All you Need (Neural Information Processing Systems)
- Long Short-Term Memory
- ImageNet: A large-scale hierarchical image database
- Gradient-based learning applied to document recognition
- BERT: Pre-training of Deep Bidirectional Transformers for Language Understanding (North American Chapter of the Association for Computational Linguistics)
- Sequence to Sequence Learning with Neural Networks (Neural Information Processing Systems)
- Batch Normalization: Accelerating Deep Network Training by Reducing Internal Covariate Shift (International Conference on Machine Learning)
Their papers
- Generative Language Modeling for Automated Theorem Proving (2020) — 472 citations
- Formal Mathematics Statement Curriculum Learning (2022) — 177 citations
- Proof Artifact Co-training for Theorem Proving with Language Models (2021) — 170 citations
- MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics (2021) — 420 citations