{"list":"other","total":209,"rows":[{"id":"1706.03762","title":"Attention Is All You Need","created":"2017-06-12","cited_by_count":60361},{"id":"1512.03385","title":"Deep Residual Learning for Image Recognition","created":"2015-12-10","cited_by_count":52096},{"id":"1810.04805","title":"BERT: Pre-training of Deep Bidirectional Transformers for Language Understanding","created":"2018-10-11","cited_by_count":40399},{"id":"1412.6980","title":"Adam: A Method for Stochastic Optimization","created":"2014-12-22","cited_by_count":37240},{"id":"1412.6572","title":"Explaining and Harnessing Adversarial Examples","created":"2014-12-20","cited_by_count":7364},{"id":"1502.03167","title":"Batch Normalization: Accelerating Deep Network Training by Reducing Internal Covariate Shift","created":"2015-02-11","cited_by_count":7005},{"id":"2204.06125","title":"Hierarchical Text-Conditional Image Generation with CLIP Latents","created":"2022-04-13","cited_by_count":6585},{"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":"1801.04381","title":"MobileNetV2: Inverted Residuals and Linear Bottlenecks","created":"2018-01-13","cited_by_count":4795},{"id":"1409.0473","title":"Neural Machine Translation by Jointly Learning to Align and Translate","created":"2014-09-01","cited_by_count":4548},{"id":"1409.4842","title":"Going Deeper with Convolutions","created":"2014-09-17","cited_by_count":4241},{"id":"1502.01852","title":"Delving Deep into Rectifiers: Surpassing Human-Level Performance on ImageNet Classification","created":"2015-02-06","cited_by_count":3611},{"id":"1509.02971","title":"Continuous control with deep reinforcement learning","created":"2015-09-09","cited_by_count":3407},{"id":"1409.3215","title":"Sequence to Sequence Learning with Neural Networks","created":"2014-09-10","cited_by_count":2986},{"id":"1802.05365","title":"Deep contextualized word representations","created":"2018-02-15","cited_by_count":2290},{"id":"1904.08779","title":"SpecAugment: A Simple Data Augmentation Method for Automatic Speech Recognition","created":"2019-04-18","cited_by_count":1380},{"id":"1911.04252","title":"Self-training with Noisy Student improves ImageNet classification","created":"2019-11-11","cited_by_count":1311},{"id":"1606.04838","title":"Optimization Methods for Large-Scale Machine Learning","created":"2016-06-15","cited_by_count":1150},{"id":"1404.7828","title":"Deep Learning in Neural Networks: An Overview","created":"2014-04-30","cited_by_count":770},{"id":"1702.01135","title":"Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks","created":"2017-02-03","cited_by_count":744},{"id":"1811.06128","title":"Machine Learning for Combinatorial Optimization: a Methodological Tour d'Horizon","created":"2018-11-15","cited_by_count":623},{"id":"1511.00363","title":"BinaryConnect: Training Deep Neural Networks with binary weights during propagations","created":"2015-11-02","cited_by_count":592},{"id":"1405.4980","title":"Convex Optimization: Algorithms and Complexity","created":"2014-05-20","cited_by_count":575},{"id":"1610.01145","title":"Error bounds for approximations with deep ReLU networks","created":"2016-10-03","cited_by_count":574},{"id":"1711.00851","title":"Provable defenses against adversarial examples via the convex outer adversarial polytope","created":"2017-11-02","cited_by_count":567},{"id":"2005.04259","title":"VectorNet: Encoding HD Maps and Agent Dynamics from Vectorized Representation","created":"2020-05-08","cited_by_count":530},{"id":"1811.00866","title":"Efficient Neural Network Robustness Certification with General Activation Functions","created":"2018-11-02","cited_by_count":445},{"id":"1805.10965","title":"Lipschitz regularity of deep neural networks: analysis and efficient estimation","created":"2018-05-28","cited_by_count":415},{"id":"1402.1869","title":"On the Number of Linear Regions of Deep Neural Networks","created":"2014-02-08","cited_by_count":381},{"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":"1709.02540","title":"The Expressive Power of Neural Networks: A View from the Width","created":"2017-09-08","cited_by_count":320},{"id":"1606.05336","title":"On the Expressive Power of Deep Neural Networks","created":"2016-06-16","cited_by_count":306},{"id":"1906.04893","title":"Efficient and Accurate Estimation of Lipschitz Constants for Deep Neural Networks","created":"2019-06-12","cited_by_count":293},{"id":"1611.01491","title":"Understanding Deep Neural Networks with Rectified Linear Units","created":"2016-11-04","cited_by_count":257},{"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":"1903.06758","title":"Algorithms for Verifying Deep Neural Networks","created":"2019-03-15","cited_by_count":221},{"id":"1811.05381","title":"Sorting out Lipschitz function approximation","created":"2018-11-13","cited_by_count":213},{"id":"1906.06316","title":"Towards Stable and Efficient Training of Verifiably Robust Neural Networks","created":"2019-06-14","cited_by_count":205},{"id":"1802.08760","title":"Sensitivity and Generalization in Neural Networks: an Empirical Study","created":"2018-02-23","cited_by_count":189},{"id":"1302.4389","title":"Maxout Networks","created":"2013-02-18","cited_by_count":187},{"id":"1804.10829","title":"Formal Security Analysis of Neural Networks using Symbolic Intervals","created":"2018-04-28","cited_by_count":185},{"id":"1811.01057","title":"Semidefinite relaxations for certifying robustness to adversarial examples","created":"2018-11-02","cited_by_count":179},{"id":"2102.11535","title":"Neural Architecture Search on ImageNet in Four GPU Hours: A Theoretically Inspired Perspective","created":"2021-02-23","cited_by_count":169},{"id":"1901.09021","title":"Complexity of Linear Regions in Deep Networks","created":"2019-01-25","cited_by_count":167},{"id":"1809.08098","title":"Efficient Formal Safety Analysis of Neural Networks","created":"2018-09-19","cited_by_count":165},{"id":"1711.02114","title":"Bounding and Counting Linear Regions of Deep Neural Networks","created":"2017-11-06","cited_by_count":161},{"id":"1906.00904","title":"Deep ReLU Networks Have Surprisingly Few Activation Patterns","created":"2019-06-03","cited_by_count":161},{"id":"2109.14545","title":"Activation Functions in Deep Learning: A Comprehensive Survey and Benchmark","created":"2021-09-29","cited_by_count":155},{"id":"1805.12514","title":"Scaling provable adversarial defenses","created":"2018-05-31","cited_by_count":143},{"id":"1909.06588","title":"Branch and Bound for Piecewise Linear Neural Network Verification","created":"2019-09-14","cited_by_count":138},{"id":"1706.07351","title":"An approach to reachability analysis for feed-forward ReLU neural networks","created":"2017-06-22","cited_by_count":127},{"id":"1803.06567","title":"A Dual Approach to Scalable Verification of Deep Networks","created":"2018-03-17","cited_by_count":125},{"id":"1902.08722","title":"A Convex Relaxation Barrier to Tight Robustness Verification of Neural Networks","created":"2019-02-23","cited_by_count":125},{"id":"1710.11278","title":"Approximating Continuous Functions by ReLU Nets of Minimal Width","created":"2017-10-31","cited_by_count":122},{"id":"1811.08359","title":"Strong mixed-integer programming formulations for trained neural networks","created":"2018-11-20","cited_by_count":115},{"id":"2106.11342","title":"Dive into Deep Learning","created":"2021-06-21","cited_by_count":111},{"id":"2009.04131","title":"SoK: Certified Robustness for Deep Neural Networks","created":"2020-09-09","cited_by_count":105},{"id":"2208.05740","title":"General Cutting Planes for Bound-Propagation-Based Neural Network Verification","created":"2022-08-11","cited_by_count":103},{"id":"2003.01219","title":"Exactly Computing the Local Lipschitz Constant of ReLU Networks","created":"2020-03-02","cited_by_count":102},{"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":"2010.11635","title":"Continual Learning in Low-rank Orthogonal Subspaces","created":"2020-10-22","cited_by_count":99},{"id":"2002.10553","title":"Neural Networks are Convex Regularizers: Exact Polynomial-time Convex Optimization Formulations for Two-layer Networks","created":"2020-02-24","cited_by_count":98},{"id":"1705.01040","title":"Maximum Resilience of Artificial Neural Networks","created":"2017-04-28","cited_by_count":97},{"id":"1805.07091","title":"Tropical Geometry of Deep Neural Networks","created":"2018-05-18","cited_by_count":95},{"id":"1312.6098","title":"On the number of response regions of deep feed forward networks with piece-wise linear activations","created":"2013-12-20","cited_by_count":94},{"id":"2006.08859","title":"Minimum Width for Universal Approximation","created":"2020-06-16","cited_by_count":94},{"id":"2205.00263","title":"Complete Verification via Multi-Neuron Relaxation Guided Branch-and-Bound","created":"2022-04-30","cited_by_count":92},{"id":"2004.08688","title":"Lipschitz constant estimation of Neural Networks via sparse polynomial optimization","created":"2020-04-18","cited_by_count":87},{"id":"1509.08101","title":"Representation Benefits of Deep Feedforward Networks","created":"2015-09-27","cited_by_count":86},{"id":"1910.00744","title":"Reverse-Engineering Deep ReLU Networks","created":"2019-10-02","cited_by_count":83},{"id":"1709.06662","title":"Verifying Properties of Binarized Deep Neural Networks","created":"2017-09-19","cited_by_count":79},{"id":"1904.02642","title":"Meta-Learning Acquisition Functions for Transfer Learning in Bayesian Optimization","created":"2019-04-04","cited_by_count":70},{"id":"2002.02175","title":"An Analysis of Adversarial Attacks and Defenses on Autonomous Driving Models","created":"2020-02-06","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":"2010.11645","title":"Enabling certification of verification-agnostic networks via memory-efficient semidefinite programming","created":"2020-10-22","cited_by_count":66},{"id":"2103.05127","title":"Model Complexity of Deep Learning: A Survey","created":"2021-03-08","cited_by_count":65},{"id":"1412.6830","title":"Learning Activation Functions to Improve Deep Neural Networks","created":"2014-12-21","cited_by_count":63},{"id":"2010.12001","title":"Reinforcement Learning with Combinatorial Actions: An Application to Vehicle Routing","created":"2020-10-22","cited_by_count":61},{"id":"1806.10644","title":"Efficient representation and approximation of model predictive control laws via deep learning","created":"2018-06-27","cited_by_count":58},{"id":"2105.14835","title":"Towards Lower Bounds on the Depth of ReLU Neural Networks","created":"2021-05-31","cited_by_count":56},{"id":"1903.01014","title":"Lipschitz Certificates for Layered Network Structures Driven by Averaged Activation Operators","created":"2019-03-03","cited_by_count":55},{"id":"2002.09773","title":"Revealing the Structure of Deep Neural Networks via Convex Duality","created":"2020-02-22","cited_by_count":54},{"id":"1810.07481","title":"Provable Robustness of ReLU networks via Maximization of Linear Regions","created":"2018-10-17","cited_by_count":51},{"id":"2011.10219","title":"Certified Monotonic Neural Networks","created":"2020-11-20","cited_by_count":51},{"id":"1805.10265","title":"Training verified learners with learned verifiers","created":"2018-05-25","cited_by_count":50},{"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":"1807.09705","title":"Limitations of the Lipschitz constant as a defense against adversarial examples","created":"2018-07-25","cited_by_count":49},{"id":"2002.11219","title":"Convex Geometry and Duality of Over-parameterized Neural Networks","created":"2020-02-25","cited_by_count":49},{"id":"2006.00978","title":"On the Number of Linear Regions of Convolutional Neural Networks","created":"2020-06-01","cited_by_count":49},{"id":"1905.02199","title":"Nonlinear Approximation and (Deep) ReLU Networks","created":"2019-05-05","cited_by_count":45},{"id":"2004.10281","title":"Probabilistic Safety for Bayesian Neural Networks","created":"2020-04-21","cited_by_count":42},{"id":"1912.00574","title":"Fastened CROWN: Tightened Neural Network Robustness Certificates","created":"2019-12-02","cited_by_count":39},{"id":"2102.04373","title":"Partition-based formulations for mixed-integer optimization of trained ReLU neural networks","created":"2021-02-08","cited_by_count":39},{"id":"1802.09210","title":"A representer theorem for deep neural networks","created":"2018-02-26","cited_by_count":38},{"id":"2108.01220","title":"OVERT: An Algorithm for Safety Verification of Neural Network Control Policies for Nonlinear Systems","created":"2021-08-03","cited_by_count":38},{"id":"2104.08135","title":"Sharp bounds for the number of regions of maxout networks and vertices of Minkowski sums","created":"2021-04-16","cited_by_count":37},{"id":"2001.01072","title":"Empirical Studies on the Properties of Linear Regions in Deep Neural Networks","created":"2020-01-04","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}],"next_cursor":"100"}