{"list":"other","total":68,"rows":[{"id":"1409.1556","title":"Very Deep Convolutional Networks for Large-Scale Image Recognition","created":"2014-09-04","cited_by_count":15364},{"id":"1707.06347","title":"Proximal Policy Optimization Algorithms","created":"2017-07-20","cited_by_count":15215},{"id":"1706.06083","title":"Towards Deep Learning Models Resistant to Adversarial Attacks","created":"2017-06-19","cited_by_count":6415},{"id":"1801.01290","title":"Soft Actor-Critic: Off-Policy Maximum Entropy Deep Reinforcement Learning with a Stochastic Actor","created":"2018-01-04","cited_by_count":4885},{"id":"1312.5602","title":"Playing Atari with Deep Reinforcement Learning","created":"2013-12-19","cited_by_count":3274},{"id":"1607.02533","title":"Adversarial examples in the physical world","created":"2016-07-08","cited_by_count":1769},{"id":"1509.06461","title":"Deep Reinforcement Learning with Double Q-learning","created":"2015-09-22","cited_by_count":1745},{"id":"1906.02530","title":"Can You Trust Your Model's Uncertainty? Evaluating Predictive Uncertainty Under Dataset Shift","created":"2019-06-06","cited_by_count":1287},{"id":"1609.04747","title":"An overview of gradient descent optimization algorithms","created":"2016-09-15","cited_by_count":1033},{"id":"1604.07316","title":"End to End Learning for Self-Driving Cars","created":"2016-04-25","cited_by_count":1009},{"id":"2011.06225","title":"A Review of Uncertainty Quantification in Deep Learning: Techniques, Applications and Challenges","created":"2020-11-12","cited_by_count":819},{"id":"1702.01135","title":"Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks","created":"2017-02-03","cited_by_count":744},{"id":"1701.07274","title":"Deep Reinforcement Learning: An Overview","created":"2017-01-25","cited_by_count":333},{"id":"1702.02284","title":"Adversarial Attacks on Neural Network Policies","created":"2017-02-08","cited_by_count":320},{"id":"2104.02395","title":"Ensemble deep learning: A review","created":"2021-04-06","cited_by_count":284},{"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":"1806.03335","title":"Randomized Prior Functions for Deep Reinforcement Learning","created":"2018-06-08","cited_by_count":219},{"id":"1804.10829","title":"Formal Security Analysis of Neural Networks using Symbolic Intervals","created":"2018-04-28","cited_by_count":185},{"id":"1810.12282","title":"Assessing Generalization in Deep Reinforcement Learning","created":"2018-10-29","cited_by_count":133},{"id":"1706.07351","title":"An approach to reachability analysis for feed-forward ReLU neural networks","created":"2017-06-22","cited_by_count":127},{"id":"1907.06890","title":"A General Framework for Uncertainty Estimation in Deep Learning","created":"2019-07-16","cited_by_count":119},{"id":"1805.02242","title":"Reachability Analysis of Deep Neural Networks with Provable Guarantees","created":"2018-05-06","cited_by_count":93},{"id":"2010.11364","title":"Sample Efficient Reinforcement Learning with REINFORCE","created":"2020-10-22","cited_by_count":86},{"id":"1708.03322","title":"Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks","created":"2017-08-09","cited_by_count":80},{"id":"2006.05057","title":"Towards More Practical Adversarial Attacks on Graph Neural Networks","created":"2020-06-09","cited_by_count":76},{"id":"1910.14574","title":"An Abstraction-Based Framework for Neural Network Verification","created":"2019-10-31","cited_by_count":68},{"id":"2109.10317","title":"Introduction to Neural Network Verification","created":"2021-09-21","cited_by_count":63},{"id":"1906.10395","title":"Quantitative Verification of Neural Networks And its Security Applications","created":"2019-06-25","cited_by_count":56},{"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":"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":"2205.13536","title":"Verifying Learning-Based Robotic Navigation Systems","created":"2022-05-26","cited_by_count":33},{"id":"2110.13786","title":"Diversity and Generalization in Neural Network Ensembles","created":"2021-10-26","cited_by_count":32},{"id":"2006.13735","title":"DeepAbstract: Neural Network Abstraction for Accelerating Verification","created":"2020-06-24","cited_by_count":31},{"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":"2010.03258","title":"Global Optimization of Objective Functions Represented by ReLU Networks","created":"2020-10-07","cited_by_count":24},{"id":"2201.01978","title":"An Abstraction-Refinement Approach to Verifying Convolutional Neural Networks","created":"2022-01-06","cited_by_count":24},{"id":"2203.11201","title":"Efficient Neural Network Analysis with Sum-of-Infeasibilities","created":"2022-03-19","cited_by_count":24},{"id":"2206.00512","title":"Neural Network Verification with Proof Production","created":"2022-06-01","cited_by_count":22},{"id":"1904.02931","title":"Weighted Automata Extraction from Recurrent Neural Networks via Regression on State Spaces","created":"2019-04-05","cited_by_count":21},{"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":"2202.03898","title":"Verification-Aided Deep Ensemble Selection","created":"2022-02-08","cited_by_count":18},{"id":"2208.03083","title":"Neural Network Verification using Residual Reasoning","created":"2022-08-05","cited_by_count":18},{"id":"2206.03669","title":"Toward Certified Robustness Against Real-World Distribution Shifts","created":"2022-06-08","cited_by_count":16},{"id":"2008.08951","title":"Static Neural Compiler Optimization via Deep Reinforcement Learning","created":"2020-08-20","cited_by_count":14},{"id":"2012.01872","title":"Towards Repairing Neural Networks Correctly","created":"2020-12-03","cited_by_count":14},{"id":"1801.05950","title":"Toward Scalable Verification for Safety-Critical Deep Networks","created":"2018-01-18","cited_by_count":12},{"id":"1906.06717","title":"Mo\\\"ET: Mixture of Expert Trees and its Application to Verifiable Reinforcement Learning","created":"2019-06-16","cited_by_count":12},{"id":"2210.16114","title":"Towards Reliable Neural Specifications","created":"2022-10-28","cited_by_count":12},{"id":"2212.03287","title":"veriFIRE: Verifying an Industrial, Learning-Based Wildfire Detection System","created":"2022-12-06","cited_by_count":12},{"id":"2206.09603","title":"Constrained Reinforcement Learning for Robotics via Scenario-Based Programming","created":"2022-06-20","cited_by_count":11},{"id":"2005.12175","title":"Formal Methods with a Touch of Magic","created":"2020-05-25","cited_by_count":10},{"id":"2210.12871","title":"Tighter Abstract Queries in Neural Network Verification","created":"2022-10-23","cited_by_count":8},{"id":"2212.07773","title":"Runtime Monitoring for Out-of-Distribution Detection in Object Detection Neural Networks","created":"2022-12-15","cited_by_count":7},{"id":"1711.07440","title":"Deep Reinforcement Learning for Multi-Resource Multi-Machine Job Scheduling","created":"2017-11-20","cited_by_count":6},{"id":"2110.03726","title":"Bisimulations for Neural Network Reduction","created":"2021-10-07","cited_by_count":6},{"id":"2108.00893","title":"Static analysis of ReLU neural networks with tropical polyhedra","created":"2021-07-30","cited_by_count":5},{"id":"2001.09245","title":"CounterExample Guided Neural Synthesis","created":"2020-01-25","cited_by_count":4},{"id":"2010.03625","title":"Online Safety Assurance for Deep Reinforcement Learning","created":"2020-10-07","cited_by_count":3}],"next_cursor":null}