Aleksandar Zeljić

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 Aleksandar Zeljić trusts

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

1. Xiaowei Huang (in Safety, Robustness & Interpretability)

Papers from Aleksandar Zeljić's perspective

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

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

Their papers

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