Sarah M. Loos
Artificial Intelligence · 2012–2019
A researcher in the Science corpus: 6 papers; trusts 22 researchers and is trusted by 19 researchers here, as inferred from the citation graph.
Subfields
- Artificial Intelligence — 48 citations into it; #9,613 of 35,345 by trust here, #12,083 by citations
- Computer Vision and Pattern Recognition — 17 citations into it
- Computational Theory and Mathematics — 16 citations into it; #4,035 of 12,182 by trust here, #2,419 by citations
- Natural Language Processing — 15 citations into it; #1,906 of 5,688 by trust here, #2,660 by citations
- Program Analysis & Verification — 13 citations into it
- Reinforcement Learning — 10 citations into it
- Optimization & Training — 7 citations into it
Whom Sarah M. Loos trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
- Diederik P. Kingma
- Geoffrey E. Hinton
- Kaiming He
- Jimmy Ba
- Tim Rocktaschel
- Alex Krizhevsky
- Geoff Sutcliffe
- Richard Socher
- Yoshua Bengio
- Ilya Sutskever
Who trusts Sarah M. Loos overall
- Stanislas Polu
- Mingzhe Wang
- Jia Deng
- Kaiyu Yang
- Markus Norman Rabe
- Yuhuai Wu
- Jesse Michael Han
- Ibrahim Abdelaziz
- Ilya Sutskever
- Wenda Li
Papers from Sarah M. Loos's perspective
Ordered by how strongly the researchers Sarah M. Loos 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)
- Gradient-based learning applied to document recognition
- Long Short-Term Memory
- ImageNet: A large-scale hierarchical image database
- Going deeper with convolutions
- Learning Multiple Layers of Features from Tiny Images
- Batch Normalization: Accelerating Deep Network Training by Reducing Internal Covariate Shift (International Conference on Machine Learning)
Their papers
- Deep Network Guided Proof Search (2017) — 169 citations
- HOList: An Environment for Machine Learning of Higher-Order Theorem Proving (extended version) (2019) — 59 citations
- Learning to Reason in Large Theories without Imitation (2019) — 45 citations
- Formal verification of distributed aircraft controllers (2013) — 48 citations
- HOList: An Environment for Machine Learning of Higher Order Logic Theorem Proving (2019) — 145 citations
- Towards Formal Verification of Freeway Traffic Control (2012) — 59 citations