Lalit Maganti
Safety, Robustness & Interpretability · 2017
A researcher in the Science corpus: 1 paper; trusts 9 researchers and is trusted by 30 researchers here, as inferred from the citation graph.
Subfields
- Safety, Robustness & Interpretability — 6 citations into it; #393 of 2,251 by trust here, #1,512 by citations
Whom Lalit Maganti trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
- Xiaowei Huang
- Simon S. Haykin
- Vinod Nair
- Guy Katz
- Geoffrey E. Hinton
- Richard S. Sutton
- Osbert Bastani
- Andrew W. Moore
Who trusts Lalit Maganti overall
- J. Kolter
- Vincent Tjeng
- Rudy Bunel
- Hadi Salman
- Wenjie Ruan
- Kai Y. Xiao
- Matt Jordan
- Xiaowei Huang
- Huan Zhang
- Sungyoon Lee
Papers from Lalit Maganti's perspective
Ordered by how strongly the researchers Lalit Maganti trusts endorse each paper. Same corpus, a different order for every researcher.
- Rectified Linear Units Improve Restricted Boltzmann Machines
- Deep Residual Learning for Image Recognition (Computer Vision and Pattern Recognition)
- Safety Verification of Deep Neural Networks
- ImageNet classification with deep convolutional neural networks
- Adam: A Method for Stochastic Optimization (International Conference on Learning Representations)
- Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks
- Efficient memory-based learning for robot control
- Safety Verification of Deep Neural Networks ∗
- Measuring Neural Net Robustness with Constraints
- Intriguing properties of neural networks
Their papers
- An approach to reachability analysis for feed-forward ReLU neural networks (2017) — 387 citations