Derek A. Huang

Safety, Robustness & Interpretability · 2019

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

Subfields

• Safety, Robustness & Interpretability — 10 citations into it

Whom Derek A. Huang trusts overall

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

1. Xiaowei Huang
2. Guy Katz
3. Julian Parsert

Papers from Derek A. Huang's perspective

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

1. ImageNet classification with deep convolutional neural networks
2. Intriguing properties of neural networks
3. Safety Verification of Deep Neural Networks
4. Deep Learning
5. Deep Residual Learning for Image Recognition (Computer Vision and Pattern Recognition)
6. AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation
7. Safety Verification of Deep Neural Networks ∗
8. Piecewise Linear Neural Network verification: A comparative study
9. Output Reachable Set Estimation and Verification for Multilayer Neural Networks
10. DeepSafe: A Data-driven Approach for Checking Adversarial Robustness in Neural Networks

Their papers

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