{"list":"other","total":51,"rows":[{"id":"1512.03385","title":"Deep Residual Learning for Image Recognition","created":"2015-12-10","cited_by_count":52096},{"id":"1409.1556","title":"Very Deep Convolutional Networks for Large-Scale Image Recognition","created":"2014-09-04","cited_by_count":15364},{"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":"1803.03635","title":"The Lottery Ticket Hypothesis: Finding Sparse, Trainable Neural Networks","created":"2018-03-09","cited_by_count":2262},{"id":"2005.08100","title":"Conformer: Convolution-augmented Transformer for Speech Recognition","created":"2020-05-16","cited_by_count":1863},{"id":"1611.01578","title":"Neural Architecture Search with Reinforcement Learning","created":"2016-11-05","cited_by_count":1499},{"id":"1702.01135","title":"Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks","created":"2017-02-03","cited_by_count":744},{"id":"1709.01686","title":"BranchyNet: Fast Inference via Early Exiting from Deep Neural Networks","created":"2017-09-06","cited_by_count":596},{"id":"1710.09282","title":"A Survey of Model Compression and Acceleration for Deep Neural Networks","created":"2017-10-23","cited_by_count":301},{"id":"2006.04152","title":"BERT Loses Patience: Fast and Robust Inference with Early Exit","created":"2020-06-07","cited_by_count":273},{"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":"2103.06624","title":"Beta-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Complete and Incomplete Neural Network Robustness Verification","created":"2021-03-11","cited_by_count":228},{"id":"1903.06758","title":"Algorithms for Verifying Deep Neural Networks","created":"2019-03-15","cited_by_count":221},{"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":"1804.10829","title":"Formal Security Analysis of Neural Networks using Symbolic Intervals","created":"2018-04-28","cited_by_count":185},{"id":"1809.08098","title":"Efficient Formal Safety Analysis of Neural Networks","created":"2018-09-19","cited_by_count":165},{"id":"1909.06588","title":"Branch and Bound for Piecewise Linear Neural Network Verification","created":"2019-09-14","cited_by_count":138},{"id":"1810.05331","title":"Dynamic Channel Pruning: Feature Boosting and Suppression","created":"2018-10-12","cited_by_count":129},{"id":"2208.05740","title":"General Cutting Planes for Bound-Propagation-Based Neural Network Verification","created":"2022-08-11","cited_by_count":103},{"id":"2405.06624","title":"Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems","created":"2024-05-10","cited_by_count":96},{"id":"2401.14461","title":"Marabou 2.0: A Versatile Formal Analyzer of Neural Networks","created":"2024-01-25","cited_by_count":81},{"id":"2105.03245","title":"Adaptive Focus for Efficient Video Recognition","created":"2021-05-07","cited_by_count":77},{"id":"2002.06622","title":"Robustness Verification for Transformers","created":"2020-02-16","cited_by_count":76},{"id":"2004.12814","title":"Why should we add early exits to neural networks?","created":"2020-04-27","cited_by_count":70},{"id":"1910.14574","title":"An Abstraction-Based Framework for Neural Network Verification","created":"2019-10-31","cited_by_count":68},{"id":"1509.08971","title":"Conditional Deep Learning for Energy-Efficient and Enhanced Pattern Recognition","created":"2015-09-29","cited_by_count":67},{"id":"1809.03008","title":"Training for Faster Adversarial Robustness Verification via Inducing ReLU Stability","created":"2018-09-09","cited_by_count":67},{"id":"2305.10862","title":"How Deep Learning Sees the World: A Survey on Adversarial Attacks & Defenses","created":"2023-05-18","cited_by_count":66},{"id":"2210.04871","title":"Certified Training: Small Boxes are All You Need","created":"2022-10-10","cited_by_count":52},{"id":"1805.10265","title":"Training verified learners with learned verifiers","created":"2018-05-25","cited_by_count":50},{"id":"1706.00885","title":"IDK Cascades: Fast Deep Learning by Learning not to Overthink","created":"2017-06-03","cited_by_count":48},{"id":"2412.19985","title":"The Fifth International Verification of Neural Networks Competition (VNN-COMP 2024): Summary and Results","created":"2024-12-28","cited_by_count":43},{"id":"2501.00200","title":"Scalable Neural Network Verification with Branch-and-bound Inferred Cutting Planes","created":"2024-12-31","cited_by_count":33},{"id":"2006.13735","title":"DeepAbstract: Neural Network Abstraction for Accelerating Verification","created":"2020-06-24","cited_by_count":31},{"id":"2305.13991","title":"Expressive Losses for Verified Robustness via Convex Combinations","created":"2023-05-23","cited_by_count":23},{"id":"2203.03153","title":"Scalable Verification of GNN-based Job Schedulers","created":"2022-03-07","cited_by_count":19},{"id":"2208.03083","title":"Neural Network Verification using Residual Reasoning","created":"2022-08-05","cited_by_count":18},{"id":"2406.04848","title":"CTBENCH: A Library and Benchmark for Certified Training","created":"2024-06-07","cited_by_count":14},{"id":"2210.16114","title":"Towards Reliable Neural Specifications","created":"2022-10-28","cited_by_count":12},{"id":"2212.11138","title":"QVIP: An ILP-based Formal Verification Approach for Quantized Neural Networks","created":"2022-12-10","cited_by_count":12},{"id":"2206.07839","title":"Linearity Grafting: Relaxed Neuron Pruning Helps Certifiable Robustness","created":"2022-06-15","cited_by_count":10},{"id":"2402.13937","title":"Verifying message-passing neural networks via topology-based bounds tightening","created":"2024-02-21","cited_by_count":10},{"id":"2206.05070","title":"Fundamental Limits in Formal Verification of Message-Passing Neural Networks","created":"2022-06-10","cited_by_count":9},{"id":"2404.15065","title":"Formal Verification of Graph Convolutional Networks with Uncertain Node Features and Uncertain Graph Structure","created":"2024-04-23","cited_by_count":8},{"id":"2303.05246","title":"Efficient Certified Training and Robustness Verification of Neural ODEs","created":"2023-03-09","cited_by_count":3},{"id":"2404.04662","title":"Learning Minimal Neural Specifications","created":"2024-04-06","cited_by_count":3},{"id":"2009.10610","title":"Property-Directed Verification of Recurrent Neural Networks","created":"2020-09-22","cited_by_count":2},{"id":"1908.08026","title":"Refactoring Neural Networks for Verification","created":"2019-08-06","cited_by_count":1},{"id":"2412.13229","title":"Training Verification-Friendly Neural Networks via Neuron Behavior Consistency","created":"2024-12-17","cited_by_count":1}],"next_cursor":null}