Lawrence Charles Paulson
Artificial Intelligence · 2000–2021
A researcher in the Science corpus: 7 papers; trusts 17 researchers and is trusted by 11 researchers here, as inferred from the citation graph.
Subfields
- Artificial Intelligence — 40 citations into it; #11,655 of 35,345 by trust here, #17,776 by citations
- Natural Language Processing — 25 citations into it
- Computational Theory and Mathematics — 15 citations into it; #3,341 of 12,182 by trust here, #4,059 by citations
- Model Architectures — 10 citations into it
- Prompting & Reasoning — 8 citations into it
Whom Lawrence Charles Paulson trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
- A. Oxley
- Christian Szegedy
- Hubert Garavel
- Dzmitry Bahdanau
- Donald Ervin Knuth
- Sepp Hochreiter
- Yoshua Bengio
- Ashish Vaswani
- Ilya Sutskever
- Andrea Iacona
Who trusts Lawrence Charles Paulson overall
- Albert Qiaochu Jiang
- Yuhuai Wu
- Sean Welleck
- Wenda Li
- Zhihong Shao
- Markus Norman Rabe
- Peiyi Wang
- M. Wenzel
- Christian Szegedy
- Kshitij Bansal
Papers from Lawrence Charles Paulson's perspective
Ordered by how strongly the researchers Lawrence Charles Paulson trusts endorse each paper. Same corpus, a different order for every researcher.
- Attention is All you Need (Neural Information Processing Systems)
- ImageNet classification with deep convolutional neural networks
- Deep Residual Learning for Image Recognition (Computer Vision and Pattern Recognition)
- Neural Machine Translation by Jointly Learning to Align and Translate (International Conference on Learning Representations)
- Adam: A Method for Stochastic Optimization (International Conference on Learning Representations)
- Long Short-Term Memory
- Gradient-based learning applied to document recognition
- Going deeper with convolutions
- Learning Multiple Layers of Features from Tiny Images
- ImageNet: A large-scale hierarchical image database
Their papers
- Three years of experience with Sledgehammer, a Practical Link Between Automatic and Interactive Theorem Provers (2012) — 282 citations
- The Isabelle Framework (2008) — 213 citations
- Isabelle: The Next 700 Theorem Provers (2000) — 424 citations
- IsarStep: a Benchmark for High-level Mathematical Reasoning (2021) — 72 citations
- Modelling High-Level Mathematical Reasoning in Mechanised Declarative Proofs (2020) — 10 citations
- Isabelle/HOL (2002) — 622 citations
- A Proof Assistant for Higher-Order Logic (2002) — 705 citations