{"list":"other","total":65,"rows":[{"id":"1412.6572","title":"Explaining and Harnessing Adversarial Examples","created":"2014-12-20","cited_by_count":7364},{"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":"2103.13630","title":"A Survey of Quantization Methods for Efficient Neural Network Inference","created":"2021-03-25","cited_by_count":815},{"id":"1702.01135","title":"Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks","created":"2017-02-03","cited_by_count":744},{"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":"1906.06316","title":"Towards Stable and Efficient Training of Verifiably Robust Neural Networks","created":"2019-06-14","cited_by_count":205},{"id":"2004.03333","title":"Binary Neural Networks: A Survey","created":"2020-03-31","cited_by_count":190},{"id":"1812.08011","title":"Training Deep Neural Networks with 8-bit Floating Point Numbers","created":"2018-12-19","cited_by_count":164},{"id":"1909.13144","title":"Additive Powers-of-Two Quantization: An Efficient Non-uniform Discretization for Neural Networks","created":"2019-09-28","cited_by_count":148},{"id":"2004.05519","title":"NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems","created":"2020-04-12","cited_by_count":128},{"id":"1811.01828","title":"Verisig: verifying safety properties of hybrid systems with neural network controllers","created":"2018-11-05","cited_by_count":84},{"id":"1809.09310","title":"Scenic: A Language for Scenario Specification and Scene Generation","created":"2018-09-25","cited_by_count":83},{"id":"2401.14461","title":"Marabou 2.0: A Versatile Formal Analyzer of Neural Networks","created":"2024-01-25","cited_by_count":81},{"id":"1708.03322","title":"Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks","created":"2017-08-09","cited_by_count":80},{"id":"1709.06662","title":"Verifying Properties of Binarized Deep Neural Networks","created":"2017-09-19","cited_by_count":79},{"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":"1807.10875","title":"TensorFuzz: Debugging Neural Networks with Coverage-Guided Fuzzing","created":"2018-07-28","cited_by_count":68},{"id":"2109.10317","title":"Introduction to Neural Network Verification","created":"2021-09-21","cited_by_count":63},{"id":"2106.11872","title":"Randomness In Neural Network Training: Characterizing The Impact of Tooling","created":"2021-06-22","cited_by_count":59},{"id":"2301.05815","title":"First Three Years of the International Verification of Neural Networks Competition (VNN-COMP)","created":"2023-01-14","cited_by_count":58},{"id":"2210.04871","title":"Certified Training: Small Boxes are All You Need","created":"2022-10-10","cited_by_count":52},{"id":"2011.02948","title":"An SMT-Based Approach for Verifying Binarized Neural Networks","created":"2020-11-05","cited_by_count":47},{"id":"2205.00523","title":"Deep Learning with Logical Constraints","created":"2022-05-01","cited_by_count":44},{"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":"2106.13867","title":"POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems","created":"2021-06-25","cited_by_count":39},{"id":"2312.16760","title":"The Fourth International Verification of Neural Networks Competition (VNN-COMP 2023): Summary and Results","created":"2023-12-28","cited_by_count":38},{"id":"2003.03021","title":"Exploiting Verified Neural Networks via Floating Point Numerical Error","created":"2020-03-06","cited_by_count":35},{"id":"2104.01396","title":"Neural Network Robustness as a Verification Property: A Principled Case Study","created":"2021-04-03","cited_by_count":35},{"id":"2005.03597","title":"Efficient Exact Verification of Binarized Neural Networks","created":"2020-05-07","cited_by_count":33},{"id":"1901.10736","title":"JuliaReach: a Toolbox for Set-Based Reachability","created":"2019-01-30","cited_by_count":28},{"id":"2012.08185","title":"Scalable Verification of Quantized Neural Networks (Technical Report)","created":"2020-12-15","cited_by_count":28},{"id":"2108.13179","title":"Reachability Is NP-Complete Even for the Simplest Neural Networks","created":"2021-08-30","cited_by_count":27},{"id":"1906.03523","title":"Inductive Logic Programming via Differentiable Deep Neural Logic Networks","created":"2019-06-08","cited_by_count":25},{"id":"2203.11201","title":"Efficient Neural Network Analysis with Sum-of-Infeasibilities","created":"2022-03-19","cited_by_count":24},{"id":"2207.02715","title":"Open- and Closed-Loop Neural Network Verification using Polynomial Zonotopes","created":"2022-07-06","cited_by_count":24},{"id":"2105.12841","title":"DNNV: A Framework for Deep Neural Network Verification","created":"2021-05-26","cited_by_count":23},{"id":"2206.00512","title":"Neural Network Verification with Proof Production","created":"2022-06-01","cited_by_count":22},{"id":"2203.00938","title":"Neuro-Symbolic Verification of Deep Neural Networks","created":"2022-03-02","cited_by_count":21},{"id":"1810.01018","title":"Simultaneously Optimizing Weight and Quantizer of Ternary Neural Network using Truncated Gaussian Approximation","created":"2018-10-02","cited_by_count":20},{"id":"2311.16833","title":"1-Lipschitz Layers Compared: Memory, Speed, and Certifiable Robustness","created":"2023-11-28","cited_by_count":16},{"id":"2405.14058","title":"Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates","created":"2024-05-22","cited_by_count":16},{"id":"2303.10650","title":"Logic of Differentiable Logics: Towards a Uniform Semantics of DL","created":"2023-03-19","cited_by_count":15},{"id":"2401.06379","title":"Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs","created":"2024-01-12","cited_by_count":14},{"id":"2302.02384","title":"CBMC: The C Bounded Model Checker","created":"2023-02-05","cited_by_count":12},{"id":"2312.12679","title":"Towards Efficient Verification of Quantized Neural Networks","created":"2023-12-20","cited_by_count":11},{"id":"2206.03044","title":"CAISAR: A platform for Characterizing Artificial Intelligence Safety and Robustness","created":"2022-06-07","cited_by_count":9},{"id":"2212.02781","title":"QEBVerif: Quantization Error Bound Verification of Neural Networks","created":"2022-12-06","cited_by_count":9},{"id":"2002.09579","title":"Robustness to Programmable String Transformations via Augmented Abstract Training","created":"2020-02-22","cited_by_count":8},{"id":"2405.14400","title":"Verifying Global Two-Safety Properties in Neural Networks with Confidence","created":"2024-05-23","cited_by_count":8},{"id":"2010.09028","title":"Characterizing and Taming Model Instability Across Edge Devices","created":"2020-10-18","cited_by_count":7},{"id":"2402.10998","title":"Provably Safe Neural Network Controllers via Differential Dynamic Logic","created":"2024-02-16","cited_by_count":7},{"id":"2405.10611","title":"A Certified Proof Checker for Deep Neural Network Verification in Imandra","created":"2024-05-17","cited_by_count":7},{"id":"2407.03847","title":"Comparing differentiable logics for learning with logical constraints","created":"2024-07-04","cited_by_count":7},{"id":"2112.06582","title":"Geometric Path Enumeration for Equivalence Verification of Neural Networks","created":"2021-12-13","cited_by_count":6},{"id":"2307.06299","title":"Towards a Certified Proof Checker for Deep Neural Network Verification","created":"2023-07-12","cited_by_count":6},{"id":"2312.14746","title":"ESBMC v7.4: Harnessing the Power of Intervals","created":"2023-12-22","cited_by_count":6},{"id":"2202.05207","title":"Vehicle: Interfacing Neural Network Verifiers with Interactive Theorem Provers","created":"2022-02-10","cited_by_count":5},{"id":"2206.06054","title":"Specifying and Testing $k$-Safety Properties for Machine-Learning Models","created":"2022-06-13","cited_by_count":5},{"id":"2301.12893","title":"Formalizing Piecewise Affine Activation Functions of Neural Networks in Coq","created":"2023-01-30","cited_by_count":4},{"id":"2207.10562","title":"CheckINN: Wide Range Neural Network Verification in Imandra (Extended)","created":"2022-07-21","cited_by_count":3},{"id":"2309.03617","title":"NeuroCodeBench: a plain C neural network benchmark for software verification","created":"2023-09-07","cited_by_count":3},{"id":"2403.13700","title":"Taming Differentiable Logics with Coq Formalisation","created":"2024-03-20","cited_by_count":3}],"next_cursor":null}