On Extensions of CLEVER: A Neural Network Robustness Evaluation Algorithm

19 October 2018

Papers citing "On Extensions of CLEVER: A Neural Network Robustness Evaluation Algorithm"

4 / 4 papers shown

Title
Group-based Robustness: A General Framework for Customized Robustness in the Real World Weiran Lin Keane Lucas Neo Eyal Lujo Bauer Michael K. Reiter Mahmood Sharif OOD AAML 27 1 0 29 Jun 2023
Robust Machine Learning Systems: Challenges, Current Trends, Perspectives, and the Road Ahead Muhammad Shafique Mahum Naseer T. Theocharides C. Kyrkou O. Mutlu Lois Orosa Jungwook Choi OOD 75 100 0 04 Jan 2021
Recent Advances in Understanding Adversarial Robustness of Deep Neural Networks Tao Bai Jinqi Luo Jun Zhao AAML 46 8 0 03 Nov 2020
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 231 1,837 0 03 Feb 2017