{"list":"other","total":53,"rows":[{"id":"1706.03762","title":"Attention Is All You Need","created":"2017-06-12","cited_by_count":60361},{"id":"1412.6980","title":"Adam: A Method for Stochastic Optimization","created":"2014-12-22","cited_by_count":37240},{"id":"2005.14165","title":"Language Models are Few-Shot Learners","created":"2020-05-28","cited_by_count":32419},{"id":"2010.11929","title":"An Image is Worth 16x16 Words: Transformers for Image Recognition at Scale","created":"2020-10-22","cited_by_count":30186},{"id":"1912.01703","title":"PyTorch: An Imperative Style, High-Performance Deep Learning Library","created":"2019-12-03","cited_by_count":20305},{"id":"1502.03167","title":"Batch Normalization: Accelerating Deep Network Training by Reducing Internal Covariate Shift","created":"2015-02-11","cited_by_count":7005},{"id":"1706.06083","title":"Towards Deep Learning Models Resistant to Adversarial Attacks","created":"2017-06-19","cited_by_count":6415},{"id":"1602.04938","title":"\"Why Should I Trust You?\": Explaining the Predictions of Any Classifier","created":"2016-02-16","cited_by_count":5070},{"id":"1608.03983","title":"SGDR: Stochastic Gradient Descent with Warm Restarts","created":"2016-08-13","cited_by_count":5045},{"id":"1801.04381","title":"MobileNetV2: Inverted Residuals and Linear Bottlenecks","created":"2018-01-13","cited_by_count":4795},{"id":"1603.05279","title":"XNOR-Net: ImageNet Classification Using Binary Convolutional Neural Networks","created":"2016-03-16","cited_by_count":849},{"id":"1702.01135","title":"Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks","created":"2017-02-03","cited_by_count":744},{"id":"2010.09670","title":"RobustBench: a standardized adversarial robustness benchmark","created":"2020-10-19","cited_by_count":661},{"id":"1706.02515","title":"Self-Normalizing Neural Networks","created":"2017-06-08","cited_by_count":598},{"id":"1606.06160","title":"DoReFa-Net: Training Low Bitwidth Convolutional Neural Networks with Low Bitwidth Gradients","created":"2016-06-20","cited_by_count":569},{"id":"1711.00851","title":"Provable defenses against adversarial examples via the convex outer adversarial polytope","created":"2017-11-02","cited_by_count":567},{"id":"2102.00554","title":"Sparsity in Deep Learning: Pruning and growth for efficient inference and training in neural networks","created":"2021-01-31","cited_by_count":527},{"id":"1902.06705","title":"On Evaluating Adversarial Robustness","created":"2019-02-18","cited_by_count":447},{"id":"2004.13912","title":"Neural Additive Models: Interpretable Machine Learning with Neural Nets","created":"2020-04-29","cited_by_count":319},{"id":"1801.09344","title":"Certified Defenses against Adversarial Examples","created":"2018-01-29","cited_by_count":306},{"id":"2012.14261","title":"A Survey on Neural Network Interpretability","created":"2020-12-28","cited_by_count":291},{"id":"1904.00760","title":"Approximating CNNs with Bag-of-local-Features models works surprisingly well on ImageNet","created":"2019-03-20","cited_by_count":260},{"id":"1705.01320","title":"Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks","created":"2017-05-03","cited_by_count":242},{"id":"1808.00278","title":"Bi-Real Net: Enhancing the Performance of 1-bit CNNs With Improved Representational Capability and Advanced Training Algorithm","created":"2018-08-01","cited_by_count":235},{"id":"1906.06316","title":"Towards Stable and Efficient Training of Verifiably Robust Neural Networks","created":"2019-06-14","cited_by_count":205},{"id":"2011.13824","title":"Fast and Complete: Enabling Complete Neural Network Verification with Rapid and Massively Parallel Incomplete Verifiers","created":"2020-11-27","cited_by_count":187},{"id":"1603.07285","title":"A guide to convolution arithmetic for deep learning","created":"2016-03-23","cited_by_count":185},{"id":"1805.12514","title":"Scaling provable adversarial defenses","created":"2018-05-31","cited_by_count":143},{"id":"1706.07351","title":"An approach to reachability analysis for feed-forward ReLU neural networks","created":"2017-06-22","cited_by_count":127},{"id":"1705.01040","title":"Maximum Resilience of Artificial Neural Networks","created":"2017-04-28","cited_by_count":97},{"id":"1805.09901","title":"Boolean Decision Rules via Column Generation","created":"2018-05-24","cited_by_count":80},{"id":"1709.06662","title":"Verifying Properties of Binarized Deep Neural Networks","created":"2017-09-19","cited_by_count":79},{"id":"2103.03638","title":"PRIMA: General and Precise Neural Network Certification via Scalable Convex Hull Approximations","created":"2021-03-05","cited_by_count":77},{"id":"2109.00498","title":"The Second International Verification of Neural Networks Competition (VNN-COMP 2021): Summary and Results","created":"2021-08-31","cited_by_count":71},{"id":"1809.03008","title":"Training for Faster Adversarial Robustness Verification via Inducing ReLU Stability","created":"2018-09-09","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":"2102.10936","title":"Shapley values for feature selection: The good, the bad, and the axioms","created":"2021-02-22","cited_by_count":54},{"id":"1704.01701","title":"Learning Certifiably Optimal Rule Lists for Categorical Data","created":"2017-04-06","cited_by_count":50},{"id":"1805.10265","title":"Training verified learners with learned verifiers","created":"2018-05-25","cited_by_count":50},{"id":"2102.05363","title":"Towards Certifying L-infinity Robustness using Neural Networks with L-inf-dist Neurons","created":"2021-02-10","cited_by_count":40},{"id":"2109.15103","title":"Scalable Rule-Based Representation Learning for Interpretable Classification","created":"2021-09-30","cited_by_count":40},{"id":"1906.01761","title":"Generalized Linear Rule Models","created":"2019-06-05","cited_by_count":36},{"id":"2003.03021","title":"Exploiting Verified Neural Networks via Floating Point Numerical Error","created":"2020-03-06","cited_by_count":35},{"id":"2004.02082","title":"On Tractable Representations of Binary Neural Networks","created":"2020-04-05","cited_by_count":34},{"id":"2005.03597","title":"Efficient Exact Verification of Binarized Neural Networks","created":"2020-05-07","cited_by_count":33},{"id":"1904.00938","title":"LUTNet: Rethinking Inference in FPGA Soft Logic","created":"2019-04-01","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":"2203.03153","title":"Scalable Verification of GNN-based Job Schedulers","created":"2022-03-07","cited_by_count":19},{"id":"2103.07224","title":"BDD4BNN: A BDD-based Quantitative Analysis Framework for Binarized Neural Networks","created":"2021-03-12","cited_by_count":17},{"id":"2206.03718","title":"Learning Interpretable Decision Rule Sets: A Submodular Optimization Approach","created":"2022-06-08","cited_by_count":13},{"id":"2108.07961","title":"Verifying Low-dimensional Input Neural Networks via Input Quantization","created":"2021-08-18","cited_by_count":7},{"id":"2110.11382","title":"Efficient and Robust Mixed-Integer Optimization Methods for Training Binarized Deep Neural Networks","created":"2021-10-21","cited_by_count":4},{"id":"2006.16322","title":"Scaling Symbolic Methods using Gradients for Neural Model Explanation","created":"2020-06-29","cited_by_count":3}],"next_cursor":null}