Bernd Finkbeiner
Artificial Intelligence · 2005–2020
A researcher in the Science corpus: 4 papers; trusts 13 researchers and is trusted by 0 researchers here, as inferred from the citation graph.
Subfields
- Artificial Intelligence — 46 citations into it
- Computational Theory and Mathematics — 22 citations into it
- Software — 13 citations into it
- Program Analysis & Verification — 9 citations into it
- Hardware and Architecture — 7 citations into it
Whom Bernd Finkbeiner trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
- Armin Biere
- Matthew W. Moskewicz
- Leonardo de Moura
- Bruno Dutertre
- Guillaume Lample
- Sanjit A. Seshia
- Timon Gehr
- Geoffrey E. Hinton
- Ashish Vaswani
- Sarah M. Loos
Who trusts Bernd Finkbeiner overall
Papers from Bernd Finkbeiner's perspective
Ordered by how strongly the researchers Bernd Finkbeiner 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)
- Long Short-Term Memory
- Adam: A Method for Stochastic Optimization (International Conference on Learning Representations)
- 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
- Temporal Logics for Hyperproperties (2013) — 329 citations
- Teaching Temporal Logics to Neural Networks (2020) — 79 citations
- LOLA: runtime monitoring of synchronous systems (2005) — 296 citations
- Bounded synthesis (2007) — 298 citations