{"list":"other","total":67,"rows":[{"id":"1409.1556","title":"Very Deep Convolutional Networks for Large-Scale Image Recognition","created":"2014-09-04","cited_by_count":15364},{"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":"1312.6199","title":"Intriguing properties of neural networks","created":"2013-12-21","cited_by_count":5155},{"id":"1708.07747","title":"Fashion-MNIST: a Novel Image Dataset for Benchmarking Machine Learning Algorithms","created":"2017-08-25","cited_by_count":4349},{"id":"1612.01474","title":"Simple and Scalable Predictive Uncertainty Estimation using Deep Ensembles","created":"2016-12-05","cited_by_count":3926},{"id":"1505.07818","title":"Domain-Adversarial Training of Neural Networks","created":"2015-05-28","cited_by_count":3044},{"id":"1607.02533","title":"Adversarial examples in the physical world","created":"2016-07-08","cited_by_count":1769},{"id":"1901.08573","title":"Theoretically Principled Trade-off between Robustness and Accuracy","created":"2019-01-24","cited_by_count":1517},{"id":"1902.02918","title":"Certified Adversarial Robustness via Randomized Smoothing","created":"2019-02-08","cited_by_count":1340},{"id":"1511.04599","title":"DeepFool: a simple and accurate method to fool deep neural networks","created":"2015-11-14","cited_by_count":1318},{"id":"1804.06872","title":"Co-teaching: Robust Training of Deep Neural Networks with Extremely Noisy Labels","created":"2018-04-18","cited_by_count":1059},{"id":"1604.07316","title":"End to End Learning for Self-Driving Cars","created":"2016-04-25","cited_by_count":1009},{"id":"1602.02697","title":"Practical Black-Box Attacks against Machine Learning","created":"2016-02-08","cited_by_count":903},{"id":"1805.12152","title":"Robustness May Be at Odds with Accuracy","created":"2018-05-30","cited_by_count":880},{"id":"1705.07204","title":"Ensemble Adversarial Training: Attacks and Defenses","created":"2017-05-19","cited_by_count":840},{"id":"1511.07528","title":"The Limitations of Deep Learning in Adversarial Settings","created":"2015-11-24","cited_by_count":790},{"id":"1702.01135","title":"Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks","created":"2017-02-03","cited_by_count":744},{"id":"2001.03994","title":"Fast is better than free: Revisiting adversarial training","created":"2020-01-12","cited_by_count":727},{"id":"1904.12843","title":"Adversarial Training for Free!","created":"2019-04-29","cited_by_count":643},{"id":"1912.02757","title":"Deep Ensembles: A Loss Landscape Perspective","created":"2019-12-05","cited_by_count":443},{"id":"1805.07984","title":"Adversarial Attacks on Neural Networks for Graph Data","created":"2018-05-21","cited_by_count":397},{"id":"1901.04215","title":"How does Disagreement Help Generalization against Label Corruption?","created":"2019-01-14","cited_by_count":390},{"id":"1702.02284","title":"Adversarial Attacks on Neural Network Policies","created":"2017-02-08","cited_by_count":320},{"id":"1704.08847","title":"Parseval Networks: Improving Robustness to Adversarial Examples","created":"2017-04-28","cited_by_count":293},{"id":"1610.06940","title":"Safety Verification of Deep Neural Networks","created":"2016-10-21","cited_by_count":263},{"id":"1705.01320","title":"Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks","created":"2017-05-03","cited_by_count":242},{"id":"1804.10829","title":"Formal Security Analysis of Neural Networks using Symbolic Intervals","created":"2018-04-28","cited_by_count":185},{"id":"1907.02610","title":"Adversarial Robustness through Local Linearization","created":"2019-07-04","cited_by_count":146},{"id":"1511.06314","title":"Why M Heads are Better than One: Training a Diverse Ensemble of Deep Networks","created":"2015-11-19","cited_by_count":139},{"id":"1706.07351","title":"An approach to reachability analysis for feed-forward ReLU neural networks","created":"2017-06-22","cited_by_count":127},{"id":"1805.02242","title":"Reachability Analysis of Deep Neural Networks with Provable Guarantees","created":"2018-05-06","cited_by_count":93},{"id":"1708.03322","title":"Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks","created":"2017-08-09","cited_by_count":80},{"id":"1709.06662","title":"Verifying Properties of Binarized Deep Neural Networks","created":"2017-09-19","cited_by_count":79},{"id":"1606.07839","title":"Stochastic Multiple Choice Learning for Training Diverse Deep Ensembles","created":"2016-06-24","cited_by_count":77},{"id":"2006.05057","title":"Towards More Practical Adversarial Attacks on Graph Neural Networks","created":"2020-06-09","cited_by_count":76},{"id":"1905.08232","title":"Adversarially robust transfer learning","created":"2019-05-20","cited_by_count":67},{"id":"1906.10395","title":"Quantitative Verification of Neural Networks And its Security Applications","created":"2019-06-25","cited_by_count":56},{"id":"1903.07054","title":"Adversarial Attacks on Deep Neural Networks for Time Series Classification","created":"2019-03-17","cited_by_count":53},{"id":"2011.02948","title":"An SMT-Based Approach for Verifying Binarized Neural Networks","created":"2020-11-05","cited_by_count":47},{"id":"1912.02499","title":"Perfectly Parallel Fairness Certification of Neural Networks","created":"2019-12-05","cited_by_count":42},{"id":"1810.13072","title":"Formal Verification of Neural Network Controlled Autonomous Systems","created":"2018-10-31","cited_by_count":41},{"id":"1904.09959","title":"Optimization and Abstraction: A Synergistic Approach for Analyzing Neural Network Robustness","created":"2019-04-22","cited_by_count":40},{"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":"2004.08440","title":"Parallelization Techniques for Verifying Neural Networks","created":"2020-04-17","cited_by_count":36},{"id":"2104.01396","title":"Neural Network Robustness as a Verification Property: A Principled Case Study","created":"2021-04-03","cited_by_count":35},{"id":"2007.09527","title":"Abstraction based Output Range Analysis for Neural Networks","created":"2020-07-18","cited_by_count":34},{"id":"2105.11931","title":"Towards Scalable Verification of Deep Reinforcement Learning","created":"2021-05-25","cited_by_count":33},{"id":"2006.13735","title":"DeepAbstract: Neural Network Abstraction for Accelerating Verification","created":"2020-06-24","cited_by_count":31},{"id":"1906.07380","title":"Maximizing Overall Diversity for Improved Uncertainty Estimates in Deep Ensembles","created":"2019-06-18","cited_by_count":30},{"id":"2110.14149","title":"Diversity Matters When Learning From Ensembles","created":"2021-10-27","cited_by_count":27},{"id":"2004.02462","title":"Verifying Recurrent Neural Networks using Invariant Inference","created":"2020-04-06","cited_by_count":26},{"id":"2103.12535","title":"NNrepair: Constraint-based Repair of Neural Network Classifiers","created":"2021-03-23","cited_by_count":26},{"id":"2201.01978","title":"An Abstraction-Refinement Approach to Verifying Convolutional Neural Networks","created":"2022-01-06","cited_by_count":24},{"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":"2105.13649","title":"Pruning and Slicing Neural Networks using Formal Verification","created":"2021-05-28","cited_by_count":20},{"id":"2009.06429","title":"Into the Unknown: Active Monitoring of Neural Networks","created":"2020-09-14","cited_by_count":19},{"id":"2108.04214","title":"Neural Network Repair with Reachability Analysis","created":"2021-08-09","cited_by_count":19},{"id":"1808.04469","title":"Deep Randomized Ensembles for Metric Learning","created":"2018-08-13","cited_by_count":17},{"id":"2102.07048","title":"Connecting Interpretability and Robustness in Decision Trees through Separation","created":"2021-02-14","cited_by_count":16},{"id":"2012.01872","title":"Towards Repairing Neural Networks Correctly","created":"2020-12-03","cited_by_count":14},{"id":"2110.09929","title":"Minimal Multi-Layer Modifications of Deep Neural Networks","created":"2021-10-18","cited_by_count":14},{"id":"1802.07881","title":"Diversity regularization in deep ensembles","created":"2018-02-22","cited_by_count":11},{"id":"1904.05488","title":"Deep Neural Network Ensembles","created":"2019-04-11","cited_by_count":10},{"id":"2005.12175","title":"Formal Methods with a Touch of Magic","created":"2020-05-25","cited_by_count":10},{"id":"1806.04899","title":"Ensemble Pruning based on Objection Maximization with a General Distributed Framework","created":"2018-06-13","cited_by_count":8}],"next_cursor":null}