{"list":"other","total":55,"rows":[{"id":"1912.01703","title":"PyTorch: An Imperative Style, High-Performance Deep Learning Library","created":"2019-12-03","cited_by_count":20305},{"id":"1312.6199","title":"Intriguing properties of neural networks","created":"2013-12-21","cited_by_count":5155},{"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":"1704.04861","title":"MobileNets: Efficient Convolutional Neural Networks for Mobile Vision Applications","created":"2017-04-17","cited_by_count":3845},{"id":"1606.01540","title":"OpenAI Gym","created":"2016-06-05","cited_by_count":1736},{"id":"1702.01135","title":"Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks","created":"2017-02-03","cited_by_count":744},{"id":"1603.00943","title":"CVXPY: A Python-Embedded Modeling Language for Convex Optimization","created":"2016-03-03","cited_by_count":641},{"id":"1704.04760","title":"In-Datacenter Performance Analysis of a Tensor Processing Unit","created":"2017-04-16","cited_by_count":618},{"id":"1711.00851","title":"Provable defenses against adversarial examples via the convex outer adversarial polytope","created":"2017-11-02","cited_by_count":567},{"id":"1703.02702","title":"Robust Adversarial Reinforcement Learning","created":"2017-03-08","cited_by_count":451},{"id":"1811.00866","title":"Efficient Neural Network Robustness Certification with General Activation Functions","created":"2018-11-02","cited_by_count":445},{"id":"2003.04630","title":"Lagrangian Neural Networks","created":"2020-03-10","cited_by_count":398},{"id":"2001.04385","title":"Universal Differential Equations for Scientific Machine Learning","created":"2020-01-13","cited_by_count":353},{"id":"1810.12715","title":"On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models","created":"2018-10-30","cited_by_count":328},{"id":"1702.02284","title":"Adversarial Attacks on Neural Network Policies","created":"2017-02-08","cited_by_count":320},{"id":"1804.10332","title":"Sim-to-Real: Learning Agile Locomotion For Quadruped Robots","created":"2018-04-27","cited_by_count":319},{"id":"1801.09344","title":"Certified Defenses against Adversarial Examples","created":"2018-01-29","cited_by_count":306},{"id":"1408.5093","title":"Caffe: Convolutional Architecture for Fast Feature Embedding","created":"2014-06-20","cited_by_count":288},{"id":"1609.06408","title":"Control Barrier Function Based Quadratic Programs for Safety Critical Systems","created":"2016-09-21","cited_by_count":287},{"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":"1905.10615","title":"Adversarial Policies: Attacking Deep Reinforcement Learning","created":"2019-05-25","cited_by_count":214},{"id":"1907.04490","title":"Deep Lagrangian Networks: Using Physics as Model Prior for Deep Learning","created":"2019-07-10","cited_by_count":212},{"id":"1906.06316","title":"Towards Stable and Efficient Training of Verifiably Robust Neural Networks","created":"2019-06-14","cited_by_count":205},{"id":"1709.07523","title":"Hamilton-Jacobi Reachability: A Brief Overview and Recent Advances","created":"2017-09-21","cited_by_count":201},{"id":"1804.10829","title":"Formal Security Analysis of Neural Networks using Symbolic Intervals","created":"2018-04-28","cited_by_count":185},{"id":"1910.07207","title":"Soft Actor-Critic for Discrete Action Settings","created":"2019-10-16","cited_by_count":174},{"id":"1610.01283","title":"EPOpt: Learning Robust Neural Network Policies Using Model Ensembles","created":"2016-10-05","cited_by_count":138},{"id":"1812.05069","title":"Recent Advances in Autoencoder-Based Representation Learning","created":"2018-12-12","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":"1708.06850","title":"Learning Deep Neural Network Representations for Koopman Operators of Nonlinear Dynamical Systems","created":"2017-08-22","cited_by_count":127},{"id":"1902.08722","title":"A Convex Relaxation Barrier to Tight Robustness Verification of Neural Networks","created":"2019-02-23","cited_by_count":125},{"id":"1903.01287","title":"Safety Verification and Robustness Analysis of Neural Networks via Quadratic Constraints and Semidefinite Programming","created":"2019-03-04","cited_by_count":101},{"id":"1701.04143","title":"Vulnerability of Deep Reinforcement Learning to Policy Induction Attacks","created":"2017-01-16","cited_by_count":91},{"id":"2011.02082","title":"DeepReach: A Deep Learning Approach to High-Dimensional Reachability","created":"2020-11-04","cited_by_count":91},{"id":"1811.01828","title":"Verisig: verifying safety properties of hybrid systems with neural network controllers","created":"2018-11-05","cited_by_count":84},{"id":"1708.03322","title":"Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks","created":"2017-08-09","cited_by_count":80},{"id":"2010.11645","title":"Enabling certification of verification-agnostic networks via memory-efficient semidefinite programming","created":"2020-10-22","cited_by_count":66},{"id":"2001.09684","title":"Challenges and Countermeasures for Adversarial Attacks on Deep Reinforcement Learning","created":"2020-01-27","cited_by_count":61},{"id":"2006.14076","title":"The Convex Relaxation Barrier, Revisited: Tightened Single-Neuron Relaxations for Neural Network Verification","created":"2020-06-24","cited_by_count":50},{"id":"2006.07579","title":"Stability Analysis using Quadratic Constraints for Systems with Neural Network Controllers","created":"2020-06-13","cited_by_count":44},{"id":"2004.07876","title":"Reach-SDP: Reachability Analysis of Closed-Loop Systems with Neural Network Controllers via Semidefinite Programming","created":"2020-04-16","cited_by_count":43},{"id":"2108.04140","title":"Reachability Analysis of Neural Feedback Loops","created":"2021-08-09","cited_by_count":41},{"id":"2004.12273","title":"Reachable Set Estimation for Neural Network Control Systems: A Simulation-Guided Approach","created":"2020-04-26","cited_by_count":36},{"id":"2011.11609","title":"Reachable Polyhedral Marching (RPM): A Safety Verification Algorithm for Robotic Systems with Deep Neural Network Components","created":"2020-11-23","cited_by_count":36},{"id":"1810.01989","title":"Verification for Machine Learning, Autonomy, and Neural Networks Survey","created":"2018-10-03","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":"2012.12015","title":"Learning Lyapunov Functions for Hybrid Systems","created":"2020-12-22","cited_by_count":24},{"id":"1902.07247","title":"Fast Neural Network Verification via Shadow Prices","created":"2019-02-19","cited_by_count":17},{"id":"1910.04249","title":"Probabilistic Verification and Reachability Analysis of Neural Networks via Semidefinite Programming","created":"2019-10-09","cited_by_count":15},{"id":"2004.00570","title":"Tightened Convex Relaxations for Neural Network Robustness Certification","created":"2020-04-01","cited_by_count":14},{"id":"2002.09027","title":"Enhanced Adversarial Strategically-Timed Attacks against Deep Reinforcement Learning","created":"2020-02-20","cited_by_count":13},{"id":"2101.01815","title":"Efficient Reachability Analysis of Closed-Loop Systems with Neural Network Controllers","created":"2021-01-05","cited_by_count":10},{"id":"2003.02305","title":"Touch the Wind: Simultaneous Airflow, Drag and Interaction Sensing on a Multirotor","created":"2020-03-04","cited_by_count":4}],"next_cursor":null}