Towards Verifying Robustness of Neural Networks Against Semantic Perturbations

19 December 2019

Papers citing "Towards Verifying Robustness of Neural Networks Against Semantic Perturbations"

4 / 4 papers shown

Title
Guidance on the Assurance of Machine Learning in Autonomous Systems (AMLAS) Richard Hawkins Colin Paterson Chiara Picardi Yan Jia R. Calinescu Ibrahim Habli 28 80 0 02 Feb 2021
Robust Deep Reinforcement Learning through Adversarial Loss Tuomas P. Oikarinen Wang Zhang Alexandre Megretski Luca Daniel Tsui-Wei Weng AAML 49 94 0 05 Aug 2020
CNN-Cert: An Efficient Framework for Certifying Robustness of Convolutional Neural Networks Akhilan Boopathy Tsui-Wei Weng Pin-Yu Chen Sijia Liu Luca Daniel AAML 110 138 0 29 Nov 2018
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 251 1,842 0 03 Feb 2017