{"list":"other","total":58,"rows":[{"id":"1409.1556","title":"Very Deep Convolutional Networks for Large-Scale Image Recognition","created":"2014-09-04","cited_by_count":15364},{"id":"1409.0575","title":"ImageNet Large Scale Visual Recognition Challenge","created":"2014-09-01","cited_by_count":8498},{"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":"1406.1078","title":"Learning Phrase Representations using RNN Encoder-Decoder for Statistical Machine Translation","created":"2014-06-03","cited_by_count":4057},{"id":"1608.04644","title":"Towards Evaluating the Robustness of Neural Networks","created":"2016-08-16","cited_by_count":2998},{"id":"1511.04599","title":"DeepFool: a simple and accurate method to fool deep neural networks","created":"2015-11-14","cited_by_count":1318},{"id":"1604.07316","title":"End to End Learning for Self-Driving Cars","created":"2016-04-25","cited_by_count":1009},{"id":"1611.01236","title":"Adversarial Machine Learning at Scale","created":"2016-11-04","cited_by_count":936},{"id":"1805.12152","title":"Robustness May Be at Odds with Accuracy","created":"2018-05-30","cited_by_count":880},{"id":"1702.01135","title":"Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks","created":"2017-02-03","cited_by_count":744},{"id":"1711.00851","title":"Provable defenses against adversarial examples via the convex outer adversarial polytope","created":"2017-11-02","cited_by_count":567},{"id":"1811.00866","title":"Efficient Neural Network Robustness Certification with General Activation Functions","created":"2018-11-02","cited_by_count":445},{"id":"1402.1869","title":"On the Number of Linear Regions of Deep Neural Networks","created":"2014-02-08","cited_by_count":381},{"id":"1801.09344","title":"Certified Defenses against Adversarial Examples","created":"2018-01-29","cited_by_count":306},{"id":"1610.06940","title":"Safety Verification of Deep Neural Networks","created":"2016-10-21","cited_by_count":263},{"id":"1804.09699","title":"Towards Fast Computation of Certified Robustness for ReLU Networks","created":"2018-04-25","cited_by_count":255},{"id":"1705.01320","title":"Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks","created":"2017-05-03","cited_by_count":242},{"id":"1906.06316","title":"Towards Stable and Efficient Training of Verifiably Robust Neural Networks","created":"2019-06-14","cited_by_count":205},{"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":"1805.08328","title":"Verifiable Reinforcement Learning via Policy Extraction","created":"2018-05-22","cited_by_count":177},{"id":"1809.08098","title":"Efficient Formal Safety Analysis of Neural Networks","created":"2018-09-19","cited_by_count":165},{"id":"1805.12514","title":"Scaling provable adversarial defenses","created":"2018-05-31","cited_by_count":143},{"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":"1709.03221","title":"Fairness Testing: Testing Software for Discrimination","created":"2017-09-11","cited_by_count":126},{"id":"1803.06567","title":"A Dual Approach to Scalable Verification of Deep Networks","created":"2018-03-17","cited_by_count":125},{"id":"1705.01040","title":"Maximum Resilience of Artificial Neural Networks","created":"2017-04-28","cited_by_count":97},{"id":"1805.02242","title":"Reachability Analysis of Deep Neural Networks with Provable Guarantees","created":"2018-05-06","cited_by_count":93},{"id":"1605.07262","title":"Measuring Neural Net Robustness with Constraints","created":"2016-05-24","cited_by_count":90},{"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":"2004.05511","title":"Verification of Deep Convolutional Neural Networks Using ImageStars","created":"2020-04-12","cited_by_count":75},{"id":"1511.03034","title":"Learning with a Strong Adversary","created":"2015-11-10","cited_by_count":68},{"id":"1910.14574","title":"An Abstraction-Based Framework for Neural Network Verification","created":"2019-10-31","cited_by_count":68},{"id":"1809.03008","title":"Training for Faster Adversarial Robustness Verification via Inducing ReLU Stability","created":"2018-09-09","cited_by_count":67},{"id":"1811.12395","title":"CNN-Cert: An Efficient Framework for Certifying Robustness of Convolutional Neural Networks","created":"2018-11-29","cited_by_count":50},{"id":"1509.07892","title":"Evasion and Hardening of Tree Ensemble Classifiers","created":"2015-09-25","cited_by_count":44},{"id":"1912.02499","title":"Perfectly Parallel Fairness Certification of Neural Networks","created":"2019-12-05","cited_by_count":42},{"id":"1902.10660","title":"Robust Decision Trees Against Adversarial Examples","created":"2019-02-27","cited_by_count":40},{"id":"1905.07387","title":"POPQORN: Quantifying Robustness of Recurrent Neural Networks","created":"2019-05-17","cited_by_count":37},{"id":"2007.09527","title":"Abstraction based Output Range Analysis for Neural Networks","created":"2020-07-18","cited_by_count":34},{"id":"1906.03849","title":"Robustness Verification of Tree-based Models","created":"2019-06-10","cited_by_count":33},{"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":"1906.03526","title":"Provably Robust Boosted Decision Stumps and Trees against Adversarial Attacks","created":"2019-06-08","cited_by_count":26},{"id":"1905.04194","title":"Formal Verification of Input-Output Mappings of Tree Ensembles","created":"2019-05-10","cited_by_count":13},{"id":"1906.10991","title":"Verifying Robustness of Gradient Boosted Models","created":"2019-06-26","cited_by_count":13},{"id":"2003.01226","title":"Reachability Analysis for Feed-Forward Neural Networks using Face Lattices","created":"2020-03-02","cited_by_count":11},{"id":"2009.05660","title":"Abstract Neural Networks","created":"2020-09-11","cited_by_count":11},{"id":"1904.11803","title":"Robustness Verification of Support Vector Machines","created":"2019-04-26","cited_by_count":9},{"id":"1909.13846","title":"Universal Approximation with Certified Networks","created":"2019-09-30","cited_by_count":9},{"id":"2007.02771","title":"Certifying Decision Trees Against Evasion Attacks by Program Analysis","created":"2020-07-06","cited_by_count":4},{"id":"1904.11753","title":"Formal Verification of Decision-Tree Ensemble Model and Detection of its Violating-input-value Ranges","created":"2019-04-26","cited_by_count":3},{"id":"2002.07279","title":"Formal Methods: From Academia to Industrial Practice. A Travel Guide","created":"2020-02-17","cited_by_count":3},{"id":"1907.08251","title":"Responsibility Analysis by Abstract Interpretation","created":"2019-07-18","cited_by_count":1},{"id":"2007.10688","title":"What Programs Want: Automatic Inference of Input Data Specifications","created":"2020-07-21","cited_by_count":1}],"next_cursor":null}