Christopher Lazarus

Artificial Intelligence · 2019

A researcher in the Science corpus: 2 papers; trusts 14 researchers and is trusted by 0 researchers here, as inferred from the citation graph.

Subfields

• Artificial Intelligence — 44 citations into it
• Safety, Robustness & Interpretability — 28 citations into it
• Program Analysis & Verification — 13 citations into it
• Software — 6 citations into it
• Signal Processing — 5 citations into it

Whom Christopher Lazarus trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

1. Xiaowei Huang
2. Guy Katz
3. Kexin Pei
4. Rüdiger Ehlers
5. Kaiming He
6. Shiqi Wang
7. Timon Gehr
8. Clark W. Barrett
9. Matthew Mirman
10. Alex Krizhevsky

Papers from Christopher Lazarus's perspective

Ordered by how strongly the researchers Christopher Lazarus trusts endorse each paper. Same corpus, a different order for every researcher.

1. Deep Residual Learning for Image Recognition (Computer Vision and Pattern Recognition)
2. ImageNet classification with deep convolutional neural networks
3. Intriguing properties of neural networks
4. Gradient-based learning applied to document recognition
5. Adam: A Method for Stochastic Optimization (International Conference on Learning Representations)
6. Learning Multiple Layers of Features from Tiny Images
7. ImageNet: A large-scale hierarchical image database
8. Long Short-Term Memory
9. Attention is All you Need (Neural Information Processing Systems)
10. ImageNet Large Scale Visual Recognition Challenge

Their papers

• The Marabou Framework for Verification and Analysis of Deep Neural Networks (2019) — 622 citations
• Algorithms for Verifying Deep Neural Networks (2019) — 478 citations