AI Safety

Verification of RNN-Based Neural Agent-Environment Systems AAAI 2019 Adversarial Risk and the Dangers of Evaluating Against Weak Attacks ICML 2018 Adversarial vulnerability for any classifier NeurIPS 2018 AGI Safety Literature Review IJCAI 2018 A Lyapunov-based Approach to Safe Reinforcement Learning NeurIPS 2018 Analyzing the Robustness of Nearest Neighbors to Adversarial Examples ICML 2018 Artificial Argumentation for Humans IJCAI 2018 Attacking Binarized Neural Networks ICLR 2018 Black-box Adversarial Attacks with Limited Queries and Information ICML 2018 Constrained Cross-Entropy Method for Safe Reinforcement Learning NeurIPS 2018 Deception IJCAI 2018 Defense-GAN: Protecting Classifiers Against Adversarial Attacks Using Generative Models ICLR 2018 Differentiable Abstract Interpretation for Provably Robust Neural Networks ICML 2018 Efficient Formal Safety Analysis of Neural Networks NeurIPS 2018 Efficient Neural Network Robustness Certification with General Activation Functions NeurIPS 2018 Ensemble Adversarial Training: Attacks and Defenses ICLR 2018 Evaluating the Robustness of Neural Networks: An Extreme Value Theory Approach ICLR 2018 Fast and Effective Robustness Certification NeurIPS 2018 Hatebusters: A Web Application for Actively Reporting YouTube Hate Speech IJCAI 2018 Improved Network Robustness with Adversary Critic NeurIPS 2018 Inaudible Voice Commands: The Long-Range Attack and Defense NSDI 2018 Intelligent Assistant for Elderly IJCAI 2018 Learning Safe Policies with Expert Guidance NeurIPS 2018 Learning to Solve SMT Formulas NeurIPS 2018 Lipschitz-Margin Training: Scalable Certification of Perturbation Invariance for Deep Neural Networks NeurIPS 2018