{"list":"other","total":160,"rows":[{"id":"1412.6572","title":"Explaining and Harnessing Adversarial Examples","created":"2014-12-20","cited_by_count":7364},{"id":"1706.06083","title":"Towards Deep Learning Models Resistant to Adversarial Attacks","created":"2017-06-19","cited_by_count":6415},{"id":"1602.04938","title":"\"Why Should I Trust You?\": Explaining the Predictions of Any Classifier","created":"2016-02-16","cited_by_count":5070},{"id":"1506.02142","title":"Dropout as a Bayesian Approximation: Representing Model Uncertainty in Deep Learning","created":"2015-06-06","cited_by_count":4448},{"id":"1509.02971","title":"Continuous control with deep reinforcement learning","created":"2015-09-09","cited_by_count":3407},{"id":"1608.04644","title":"Towards Evaluating the Robustness of Neural Networks","created":"2016-08-16","cited_by_count":2998},{"id":"1903.12261","title":"Benchmarking Neural Network Robustness to Common Corruptions and Perturbations","created":"2019-03-28","cited_by_count":2877},{"id":"1610.02136","title":"A Baseline for Detecting Misclassified and Out-of-Distribution Examples in Neural Networks","created":"2016-10-07","cited_by_count":2385},{"id":"1703.04977","title":"What Uncertainties Do We Need in Bayesian Deep Learning for Computer Vision?","created":"2017-03-15","cited_by_count":2352},{"id":"1910.10045","title":"Explainable Artificial Intelligence (XAI): Concepts, Taxonomies, Opportunities and Challenges toward Responsible AI","created":"2019-10-22","cited_by_count":1552},{"id":"1807.03888","title":"A Simple Unified Framework for Detecting Out-of-Distribution Samples and Adversarial Attacks","created":"2018-07-10","cited_by_count":1485},{"id":"1706.02690","title":"Enhancing The Reliability of Out-of-distribution Image Detection in Neural Networks","created":"2017-06-08","cited_by_count":1328},{"id":"1702.01135","title":"Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks","created":"2017-02-03","cited_by_count":744},{"id":"1703.00810","title":"Opening the Black Box of Deep Neural Networks via Information","created":"2017-03-02","cited_by_count":503},{"id":"1911.11132","title":"Scaling Out-of-Distribution Detection for Real-World Settings","created":"2019-11-25","cited_by_count":465},{"id":"1906.02845","title":"Likelihood Ratios for Out-of-Distribution Detection","created":"2019-06-07","cited_by_count":453},{"id":"2005.10203","title":"Graph Structure Learning for Robust Graph Neural Networks","created":"2020-05-20","cited_by_count":371},{"id":"1705.08551","title":"Safe Model-based Reinforcement Learning with Stability Guarantees","created":"2017-05-23","cited_by_count":366},{"id":"1812.02341","title":"Quantifying Generalization in Reinforcement Learning","created":"2018-12-06","cited_by_count":352},{"id":"1606.08813","title":"European Union regulations on algorithmic decision-making and a \"right to explanation\"","created":"2016-06-28","cited_by_count":344},{"id":"1710.10571","title":"Certifying Some Distributional Robustness with Principled Adversarial Training","created":"2017-10-29","cited_by_count":337},{"id":"1812.05720","title":"Why ReLU networks yield high-confidence predictions far away from the training data and how to mitigate the problem","created":"2018-12-13","cited_by_count":323},{"id":"1705.06640","title":"DeepXplore: Automated Whitebox Testing of Deep Learning Systems","created":"2017-05-18","cited_by_count":311},{"id":"1706.03691","title":"Certified Defenses for Data Poisoning Attacks","created":"2017-06-09","cited_by_count":303},{"id":"1903.08792","title":"End-to-End Safe Reinforcement Learning through Barrier Functions for Safety-Critical Continuous Control Tasks","created":"2019-03-21","cited_by_count":289},{"id":"1610.06940","title":"Safety Verification of Deep Neural Networks","created":"2016-10-21","cited_by_count":263},{"id":"1708.08559","title":"DeepTest: Automated Testing of Deep-Neural-Network-driven Autonomous Cars","created":"2017-08-28","cited_by_count":251},{"id":"1903.08738","title":"Batch Policy Learning under Constraints","created":"2019-03-20","cited_by_count":244},{"id":"1701.01724","title":"DeepStack: Expert-Level Artificial Intelligence in No-Limit Poker","created":"2017-01-06","cited_by_count":233},{"id":"1906.10742","title":"Machine Learning Testing: Survey, Landscapes and Horizons","created":"2019-06-19","cited_by_count":218},{"id":"1811.12560","title":"An Introduction to Deep Reinforcement Learning","created":"2018-11-30","cited_by_count":206},{"id":"1705.08475","title":"Formal Guarantees on the Robustness of a Classifier against Adversarial Manipulation","created":"2017-05-23","cited_by_count":185},{"id":"1804.10829","title":"Formal Security Analysis of Neural Networks using Symbolic Intervals","created":"2018-04-28","cited_by_count":185},{"id":"1809.08098","title":"Efficient Formal Safety Analysis of Neural Networks","created":"2018-09-19","cited_by_count":165},{"id":"1705.01292","title":"A General Safety Framework for Learning-Based Control in Uncertain Robotic Systems","created":"2017-05-03","cited_by_count":163},{"id":"1803.07519","title":"DeepGauge: Multi-Granularity Testing Criteria for Deep Learning Systems","created":"2018-03-20","cited_by_count":147},{"id":"1909.06588","title":"Branch and Bound for Piecewise Linear Neural Network Verification","created":"2019-09-14","cited_by_count":138},{"id":"2004.05519","title":"NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems","created":"2020-04-12","cited_by_count":128},{"id":"1711.09856","title":"On the Robustness of Semantic Segmentation Models to Adversarial Attacks","created":"2017-11-27","cited_by_count":126},{"id":"1811.09310","title":"Parametric Noise Injection: Trainable Randomness to Improve Deep Neural Network Robustness against Adversarial Attack","created":"2018-11-22","cited_by_count":125},{"id":"1907.06890","title":"A General Framework for Uncertainty Estimation in Deep Learning","created":"2019-07-16","cited_by_count":119},{"id":"1811.03402","title":"A Survey on Data Collection for Machine Learning: a Big Data -- AI Integration Perspective","created":"2018-11-08","cited_by_count":112},{"id":"2005.02929","title":"Training robust neural networks using Lipschitz bounds","created":"2020-05-06","cited_by_count":99},{"id":"2004.13546","title":"Multivariate Confidence Calibration for Object Detection","created":"2020-04-28","cited_by_count":98},{"id":"1705.01040","title":"Maximum Resilience of Artificial Neural Networks","created":"2017-04-28","cited_by_count":97},{"id":"1808.00924","title":"The Lyapunov Neural Network: Adaptive Stability Certification for Safe Learning of Dynamical Systems","created":"2018-08-02","cited_by_count":88},{"id":"1905.11659","title":"Evaluating and Calibrating Uncertainty Prediction in Regression Tasks","created":"2019-05-28","cited_by_count":87},{"id":"1606.04753","title":"Safe Exploration in Finite Markov Decision Processes with Gaussian Processes","created":"2016-06-15","cited_by_count":75},{"id":"1810.00950","title":"Omega-Regular Objectives in Model-Free Reinforcement Learning","created":"2018-09-26","cited_by_count":75},{"id":"2002.12543","title":"Metamorphic Testing: A New Approach for Generating Next Test Cases","created":"2020-02-28","cited_by_count":75},{"id":"1908.00598","title":"Sampling-free Epistemic Uncertainty Estimation Using Approximated Variance Propagation","created":"2019-08-01","cited_by_count":74},{"id":"1810.08700","title":"Safe Reinforcement Learning with Model Uncertainty Estimates","created":"2018-10-19","cited_by_count":72},{"id":"1909.12180","title":"Towards neural networks that provably know when they don't know","created":"2019-09-26","cited_by_count":69},{"id":"1808.09413","title":"DLFuzz: Differential Fuzzing Testing of Deep Learning Systems","created":"2018-08-28","cited_by_count":65},{"id":"1906.10395","title":"Quantitative Verification of Neural Networks And its Security Applications","created":"2019-06-25","cited_by_count":56},{"id":"1811.06817","title":"Evaluating Uncertainty Quantification in End-to-End Autonomous Driving Control","created":"2018-11-16","cited_by_count":55},{"id":"1911.03618","title":"Worst Cases Policy Gradients","created":"2019-11-09","cited_by_count":52},{"id":"1810.07481","title":"Provable Robustness of ReLU networks via Maximization of Linear Regions","created":"2018-10-17","cited_by_count":51},{"id":"1910.00399","title":"Safe Reinforcement Learning on Autonomous Vehicles","created":"2019-09-27","cited_by_count":50},{"id":"1710.07859","title":"Feature-Guided Black-Box Safety Testing of Deep Neural Networks","created":"2017-10-21","cited_by_count":49},{"id":"1908.02686","title":"Interpretable and Fine-Grained Visual Explanations for Convolutional Neural Networks","created":"2019-08-07","cited_by_count":49},{"id":"1910.12908","title":"Certified Adversarial Robustness for Deep Reinforcement Learning","created":"2019-10-28","cited_by_count":47},{"id":"2008.06622","title":"Cautious Adaptation For Reinforcement Learning in Safety-Critical Settings","created":"2020-08-15","cited_by_count":42},{"id":"1704.05588","title":"Learning to Fly by Crashing","created":"2017-04-19","cited_by_count":41},{"id":"1905.11213","title":"Provable robustness against all adversarial $l_p$-perturbations for $p\\geq 1$","created":"2019-05-27","cited_by_count":39},{"id":"1912.00574","title":"Fastened CROWN: Tightened Neural Network Robustness Certificates","created":"2019-12-02","cited_by_count":39},{"id":"1706.03922","title":"Analyzing the Robustness of Nearest Neighbors to Adversarial Examples","created":"2017-06-13","cited_by_count":36},{"id":"1809.06573","title":"Runtime Monitoring Neuron Activation Patterns","created":"2018-09-18","cited_by_count":34},{"id":"2004.00915","title":"Safe Reinforcement Learning via Projection on a Safe Set: How to Achieve Optimality?","created":"2020-04-02","cited_by_count":34},{"id":"1807.03571","title":"A Game-Based Approximate Verification of Deep Neural Networks with Provable Guarantees","created":"2018-07-10","cited_by_count":33},{"id":"2001.09395","title":"Analyzing the Noise Robustness of Deep Neural Networks","created":"2020-01-26","cited_by_count":31},{"id":"1709.09130","title":"Output Range Analysis for Deep Neural Networks","created":"2017-09-26","cited_by_count":30},{"id":"1902.05974","title":"DeepFault: Fault Localization for Deep Neural Networks","created":"2019-02-15","cited_by_count":30},{"id":"1909.12358","title":"Can We Trust You? On Calibration of a Probabilistic Object Detector for Autonomous Driving","created":"2019-09-26","cited_by_count":30},{"id":"2001.06057","title":"A simple way to make neural networks robust against diverse image corruptions","created":"2020-01-16","cited_by_count":30},{"id":"1804.06760","title":"Simulation-based Adversarial Test Generation for Autonomous Vehicles with Machine Learning Components","created":"2018-04-18","cited_by_count":29},{"id":"1707.00051","title":"Failing to Learn: Autonomously Identifying Perception Failures for Self-driving Cars","created":"2017-06-30","cited_by_count":28},{"id":"1902.09866","title":"Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification","created":"2019-02-26","cited_by_count":28},{"id":"2003.01090","title":"Learn2Perturb: an End-to-end Feature Perturbation Learning to Improve Adversarial Robustness","created":"2020-03-02","cited_by_count":27},{"id":"1912.07084","title":"Guaranteeing Safety for Neural Network-Based Aircraft Collision Avoidance Systems","created":"2019-12-15","cited_by_count":26},{"id":"1810.12263","title":"Learning Gaussian Processes by Minimizing PAC-Bayesian Generalization Bounds","created":"2018-10-29","cited_by_count":24},{"id":"2004.06496","title":"Certifiable Robustness to Adversarial State Uncertainty in Deep Reinforcement Learning","created":"2020-04-11","cited_by_count":24},{"id":"1809.06452","title":"Robustness Guarantees for Bayesian Inference with Gaussian Processes","created":"2018-09-17","cited_by_count":23},{"id":"1906.10417","title":"Probabilistic model predictive safety certification for learning-based control","created":"2019-06-25","cited_by_count":22},{"id":"2004.01743","title":"TensorFI: A Flexible Fault Injection Framework for TensorFlow Applications","created":"2020-04-03","cited_by_count":22},{"id":"1910.12905","title":"Deep Reinforcement Learning with Enhanced Safety for Autonomous Highway Driving","created":"2019-10-28","cited_by_count":21},{"id":"2005.07173","title":"Formal Analysis and Redesign of a Neural Network-Based Aircraft Taxiing System with VerifAI","created":"2020-05-14","cited_by_count":21},{"id":"1710.00486","title":"DeepSafe: A Data-driven Approach for Checking Adversarial Robustness in Neural Networks","created":"2017-10-02","cited_by_count":20},{"id":"1907.03680","title":"Robust Guarantees for Perception-Based Control","created":"2019-07-08","cited_by_count":20},{"id":"1712.01785","title":"Towards Practical Verification of Machine Learning: The Case of Computer Vision Systems","created":"2017-12-05","cited_by_count":19},{"id":"1903.01263","title":"Towards Structured Evaluation of Deep Neural Network Supervisors","created":"2019-03-04","cited_by_count":19},{"id":"1910.02325","title":"Bayesian Learning-Based Adaptive Control for Safety Critical Systems","created":"2019-10-05","cited_by_count":19},{"id":"2003.02381","title":"Validation of Image-Based Neural Network Controllers through Adaptive Stress Testing","created":"2020-03-05","cited_by_count":19},{"id":"1905.07831","title":"Testing DNN Image Classifiers for Confusion & Bias Errors","created":"2019-05-20","cited_by_count":18},{"id":"2004.09179","title":"GraN: An Efficient Gradient-Norm Based Detector for Adversarial and Misclassified Examples","created":"2020-04-20","cited_by_count":18},{"id":"1902.07247","title":"Fast Neural Network Verification via Shadow Prices","created":"2019-02-19","cited_by_count":17},{"id":"1903.04626","title":"Safe Convex Learning under Uncertain Constraints","created":"2019-03-11","cited_by_count":17},{"id":"1902.05632","title":"Verifiably Safe Off-Model Reinforcement Learning","created":"2019-02-14","cited_by_count":16},{"id":"2005.13166","title":"SafeML: Safety Monitoring of Machine Learning Classifiers through Statistical Difference Measure","created":"2020-05-27","cited_by_count":16},{"id":"1909.02563","title":"DeepEvolution: A Search-Based Testing Approach for Deep Neural Networks","created":"2019-09-05","cited_by_count":15}],"next_cursor":"100"}