Timon Gehr
Artificial Intelligence · 2016–2019
A researcher in the Science corpus: 6 papers; trusts 93 researchers and is trusted by 62 researchers here, as inferred from the citation graph.
Subfields
- Artificial Intelligence — 103 citations into it; #22,802 of 35,345 by trust here, #10,798 by citations
- Safety, Robustness & Interpretability — 86 citations into it; #247 of 2,251 by trust here, #593 by citations
- Computer Vision and Pattern Recognition — 48 citations into it; #14,165 of 21,575 by trust here, #7,657 by citations
- Computational Theory and Mathematics — 24 citations into it
- Signal Processing — 19 citations into it
- Hardware and Architecture — 18 citations into it
- Program Analysis & Verification — 14 citations into it; #14 of 301 by trust here, #10 by citations
- Software — 12 citations into it
Whom Timon Gehr trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
- Alex Krizhevsky
- Simon S. Haykin
- Ian J. Goodfellow
- Yann LeCun
- Geoffrey E. Hinton
- Guy Katz
- Yoshua Bengio
- Christian Szegedy
- Xiaowei Huang
- Diederik P. Kingma
Who trusts Timon Gehr overall
- Shiqi Wang
- Huan Zhang
- Gagandeep Singh
- Hadi Salman
- Hung Viet Pham
- Eric Wong
- Liwei Song
- Sven Gowal
- Matthias Hein
- Changliu Liu
Papers from Timon Gehr's perspective
Ordered by how strongly the researchers Timon Gehr 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)
- Adam: A Method for Stochastic Optimization (International Conference on Learning Representations)
- Gradient-based learning applied to document recognition
- Long Short-Term Memory
- ImageNet: A large-scale hierarchical image database
- Attention is All you Need (Neural Information Processing Systems)
- Learning Multiple Layers of Features from Tiny Images
- Batch Normalization: Accelerating Deep Network Training by Reducing Internal Covariate Shift (International Conference on Machine Learning)
- Very Deep Convolutional Networks for Large-Scale Image Recognition (International Conference on Learning Representations)
Their papers
- AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation (2018) — 1,008 citations
- An abstract domain for certifying neural networks (2019) — 847 citations
- Differentiable Abstract Interpretation for Provably Robust Neural Networks (2018) — 582 citations
- AI 2 : Safety and Robustness Certification of Neural Networks with Abstract Interpretation (2018)
- Fast and Effective Robustness Certification (2018) — 541 citations
- PSI: Exact Symbolic Inference for Probabilistic Programs (2016) — 197 citations