Fetching the paper…
Reading the bibliography…
We present a new approach to assessing the robustness of neural networks based on estimating the proportion of inputs for which a property is violated.
Estimation of particle transmission by random sampling
H. Kahn and T.E. Harris · 1951
Earlier work this paper cites.
Brownian dynamics as smart monte carlo simulation
PJ Rossky, JD Doll, and HL Friedman · 1978
Earlier work this paper cites.
Markov chain Monte Carlo in practice
Walter R Gilks, Sylvia Richardson, and David Spiegelhalter · 1995
Earlier work this paper cites.
Verification of a trained neural network accuracy
Radosiaw R Zakrzewski · 1995
Earlier work this paper cites.
Weak convergence and optimal scaling of random walk metropolis algorithms
Gareth O Roberts, Andrew Gelman, Walter R Gilks, et al · 1997
Earlier work this paper cites.
Optimization of computer simulation models with rare events
Reuven Y Rubinstein · 1997
Earlier work this paper cites.
A tutorial on the cross-entropy method
Pieter-Tjerk De Boer, Dirk P Kroese, Shie Mannor, and Reuven Y Rubinstein · 2005
Earlier work this paper cites.
An abstraction-refinement approach to verification of artificial neural networks
Luca Pulina and Armando Tacchella · 2010
Earlier work this paper cites.
Simulation and estimation of extreme quantiles and extreme probabilities
Arnaud Guyader, Nicolas Hengartner, and Eric Matzner-Løber · 2011
Earlier work this paper cites.
Mcmc using hamiltonian dynamics
Radford M Neal · 2011
Cited alongside, same era.
Intriguing properties of neural networks
Christian Szegedy, Wojciech Zaremba, Ilya Sutskever, Joan Bruna, Dumitru Erhan, Ian Goodfellow, and Rob Fergus · 2013
Cited alongside, same era.
Analysis of adaptive multilevel splitting algorithms in an idealized case
Charles-Edouard Bréhier, Tony Lelièvre, and Mathias Rousset · 2015
Cited alongside, same era.
Explaining and harnessing adversarial examples
Ian J Goodfellow, Jonathon Shlens, and Christian Szegedy · 2015
Cited alongside, same era.
Multilevel splitting
Sebastian Nowozin · 2015
Cited alongside, same era.
Tactics of adversarial attack on deep reinforcement learning agents
Yen-Chen Lin, Zhang-Wei Hong, Yuan-Hong Liao, Meng-Li Shih, Ming-Yu Liu, and Min Sun · 2017
Later among the works it cites.
Towards deep learning models resistant to adversarial attacks
Aleksander Madry, Aleksandar Makelov, Ludwig Schmidt, Dimitris Tsipras, and Adrian Vladu · 2017
Later among the works it cites.
A unified view of piecewise linear neural network verification
Rudy Bunel, Ilker Turkaslan, Philip H.S. Torr, Pushmeet Kohli, and M. Pawan Kumar · 2018
Closest in time.
Ai 2: Safety and robustness certification of neural networks with abstract interpretation
Timon Gehr, Matthew Mirman, Dana Drachsler-Cohen, Petar Tsankov, Swarat Chaudhuri, and Martin Vechev · 2018
Closest in time.
Gradient masking causes clever to overestimate adversarial perturbation size
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Chih-Hong Cheng, Georg Nührenberg, and Harald Ruess · 2017
Cited alongside, same era.
Formal verification of piece-wise linear feed-forward neural networks
Ruediger Ehlers · 2017
Cited alongside, same era.
Reluplex: An efficient smt solver for verifying deep neural networks
Guy Katz, Clark Barrett, David L Dill, Kyle Julian, and Mykel J Kochenderfer · 2017
Cited alongside, same era.
Densely connected convolutional networks
Gao Huang, Zhuang Liu, Laurens Van Der Maaten, and Kilian Q Weinberger
Cited in the paper.
Adversarial attacks on neural network policies
Sandy Huang, Nicolas Papernot, Ian Goodfellow, Yan Duan, and Pieter Abbeel
Cited in the paper.
Safety verification of deep neural networks
Xiaowei Huang, Marta Kwiatkowska, Sen Wang, and Min Wu
Cited in the paper.
Towards fast computation of certified robustness for relu networks
Tsui-Wei Weng, Huan Zhang, Hongge Chen, Zhao Song, Cho-Jui Hsieh, Duane Boning, Inderjit S Dhillon, and Luca Daniel
Cited in the paper.
Ian Goodfellow · 2018
Closest in time.
Provable defenses against adversarial examples via the convex outer adversarial polytope
Eric Wong and Zico Kolter · 2018
Closest in time.
Output reachable set estimation and verification for multilayer neural networks
Weiming Xiang, Hoang-Dung Tran, and Taylor T Johnson · 2018
Closest in time.
Rigorous agent evaluation: An adversarial approach to uncover catastrophic failures
Jonathan Uesato, Ananya Kumar, Csaba Szepesvari, Tom Erez, Avraham Ruderman, Keith Anderson, Krishnamurthy (Dj) Dvijotham, Nicolas Heess, and Pushmeet Kohli · 2019
Closest in time.