Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
1902.05983
Cited By
Robustness of Neural Networks: A Probabilistic and Practical Approach
15 February 2019
Ravi Mangal
A. Nori
A. Orso
AAML
OOD
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Robustness of Neural Networks: A Probabilistic and Practical Approach"
6 / 6 papers shown
Title
Adversarial Examples: Attacks and Defenses for Deep Learning
Xiaoyong Yuan
Pan He
Qile Zhu
Xiaolin Li
SILM
AAML
86
1,622
0
19 Dec 2017
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks
Guy Katz
Clark W. Barrett
D. Dill
Kyle D. Julian
Mykel Kochenderfer
AAML
305
1,865
0
03 Feb 2017
Safety Verification of Deep Neural Networks
Xiaowei Huang
Marta Kwiatkowska
Sen Wang
Min Wu
AAML
204
943
0
21 Oct 2016
Deep Learning with Differential Privacy
Martín Abadi
Andy Chu
Ian Goodfellow
H. B. McMahan
Ilya Mironov
Kunal Talwar
Li Zhang
FedML
SyDa
191
6,113
0
01 Jul 2016
Measuring Neural Net Robustness with Constraints
Osbert Bastani
Yani Andrew Ioannou
Leonidas Lampropoulos
Dimitrios Vytiniotis
A. Nori
A. Criminisi
AAML
73
424
0
24 May 2016
Intriguing properties of neural networks
Christian Szegedy
Wojciech Zaremba
Ilya Sutskever
Joan Bruna
D. Erhan
Ian Goodfellow
Rob Fergus
AAML
261
14,912
1
21 Dec 2013
1