Wenda Li
Artificial Intelligence · 2020–2022
A researcher in the Science corpus: 6 papers; trusts 61 researchers and is trusted by 6 researchers here, as inferred from the citation graph.
Subfields
- Artificial Intelligence — 124 citations into it; #25,877 of 35,345 by trust here, #13,163 by citations
- Natural Language Processing — 62 citations into it; #4,001 of 5,688 by trust here, #2,634 by citations
- Large Language Models — 36 citations into it
- Prompting & Reasoning — 31 citations into it; #226 of 359 by trust here, #223 by citations
- Computational Theory and Mathematics — 29 citations into it
- Computer Vision and Pattern Recognition — 25 citations into it
- Model Architectures — 22 citations into it
- Information Systems — 21 citations into it; #8,657 of 8,771 by trust here, #2,821 by citations
Whom Wenda Li trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
- Christian Szegedy
- Ilya Sutskever
- Dzmitry Bahdanau
- Yoshua Bengio
- Ashish Vaswani
- Sepp Hochreiter
- Geoffrey E. Hinton
- Diederik P. Kingma
- Kshitij Bansal
- Kyunghyun Cho
Who trusts Wenda Li overall
- Yuhuai Wu
- Markus Norman Rabe
- Zhangir Azerbayev
- Sean Welleck
- Andrew Kyle Lampinen
- Stanislas Polu
- Jesse Michael Han
- Emily First
- Albert Qiaochu Jiang
- Kaiyu Yang
Papers from Wenda Li's perspective
Ordered by how strongly the researchers Wenda Li trusts endorse each paper. Same corpus, a different order for every researcher.
- ImageNet classification with deep convolutional neural networks
- Deep Residual Learning for Image Recognition (Computer Vision and Pattern Recognition)
- Attention is All you Need (Neural Information Processing Systems)
- Adam: A Method for Stochastic Optimization (International Conference on Learning Representations)
- Long Short-Term Memory
- Gradient-based learning applied to document recognition
- ImageNet: A large-scale hierarchical image database
- 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)
- Neural Machine Translation by Jointly Learning to Align and Translate (International Conference on Learning Representations)
Their papers
- Autoformalization with Large Language Models (2022) — 324 citations
- Thor: Wielding Hammers to Integrate Language Models and Automated Theorem Provers (2022) — 144 citations
- Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs (2022) — 338 citations
- LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning (2021) — 69 citations
- IsarStep: a Benchmark for High-level Mathematical Reasoning (2021) — 72 citations
- Modelling High-Level Mathematical Reasoning in Mechanised Declarative Proofs (2020) — 10 citations