Neural Network Verification

Ask about this topic

Overview

Neural network verification asks whether a model satisfies precise properties, such as resisting bounded input perturbations or keeping a controller within a safe region. Common approaches include interval and linear bound propagation, abstract interpretation, reachability analysis, and solver-based methods such as mixed-integer programming and branch-and-bound. Researchers are extending these techniques from feed-forward classifiers to transformers, recurrent and graph networks, and closed-loop control systems, while also developing benchmarks, proof systems, and tools for trustworthy execution. A central challenge is balancing sound guarantees and tight bounds against the time and memory required, especially for large models and realistic arithmetic.

Latest papers

CardsList

126 papers16 papers in the last four weeks, up 7% on the four weeks before. 0.1% of all new papers.

  1. Probabilistic Verification of Neural Networks via Efficient Probabilistic Hull Generation

    Apr 23, 2026Jingyang Li, Xin Chen, Hongfei Fu +1Neural Network Verification

    Shanghai Jiao Tong University, Shanghai 200240, China · University of New Mexico, Albuquerque, NM 87106, USA

  2. The Cost of Relaxation: Evaluating the Error in Convex Neural Network Verification

    Apr 20, 2026Merkouris Papamichail, Konstantinos Varsos, Giorgos Flouris +1Neural Network VerificationCertified Robustness

    Foundation for Research and Technology – Hellas, Heraklion, Greece · University of Crete, Heraklion, Greece · Catalan Institution for Research and Advanced Studies, Barcelona, Spain +1

  3. FUSE: Ensembling Verifiers with Zero Labeled Data

    Apr 20, 2026Joonhyuk Lee, Virginia Ma, Sarah Zhao +4Neural Network VerificationLLM Evaluation

    Stanford University · Google

  4. Hardware-Efficient Neuro-Symbolic Networks with the Exp-Minus-Log Operator

    Apr 15, 2026Eymen IpekNeurosymbolic LearningEfficient Neural Network Inference

    Institute of Automotive Engineering, Graz University of Technology, Austria

  5. Exact Certification of Neural Networks and Partition Aggregation Ensembles against Label Poisoning

    Apr 13, 2026Ajinkya Mohgaonkar, Lukas Gosch, Mahalakshmi Sabanayagam +2Certified RobustnessNeural Network Verification

    School of Computation, Information and Technology, Technical University of Munich, Germany · Munich Data Science Institute, Technical University of Munich · Munich Center for Machine Learning, Germany +1

  6. Interval Certifications for Multilayered Perceptrons via Lattice Traversal

    Apr 9, 2026Merkouris Papamichail, Konstantinos Varsos, Giorgos Flouris +1Adversarial RobustnessCertified Robustness

    Foundation for Reasearch and Technology - Hellas, Heraklion, Greece · University of Crete, Heraklion, Greece · Catalan Institution for Research and Advanced Studies, Barcelona, Spain +1

  7. Analyzing Symbolic Properties for DRL Agents in Systems and Networking

    Apr 6, 2026Mohammad Zangooei, Jannis Weil, Amr Rizk +2Reinforcement LearningNeural Network Verification

    University of Waterloo, Waterloo, Canada · Leibniz University Hannover, Hannover, Germany

  8. Fine-Tuning Integrity for Modern Neural Networks: Structured Drift Proofs via Norm, Rank, and Sparsity Certificates

    Apr 6, 2026Zhenhang Shang, Yingzhe Yu, Kani ChenNeural Network VerificationLLM Auditing

    The Hong Kong University of Science and Technology, Hong Kong, China

  9. Towards Verified and Targeted Explanations through Formal Methods

    Apr 5, 2026Hanchen David Wang, Diego Manzanas Lopez, Preston K. Robinette +3Explainable Artificial IntelligenceCounterfactual Explanations

    Vanderbilt University, Nashville, Tennessee, USA

  10. Empirical Validation of the Classification-Verification Dichotomy for AI Safety Gates

    Mar 31, 2026Arsenios ScrivensAI Agent SafetyAI Safety Evaluation

  11. Information-Theoretic Limits of Safety Verification for Self-Improving Systems

    Mar 30, 2026Arsenios ScrivensLLM SafetyNeural Network Verification

  12. Demystifying Lipschitz verification: positive matrices, negative results

    Mar 30, 2026Simon Kuang, Yuezhu Xu, S. Sivaranjani +1Neural Network VerificationLipschitz Neural Networks

    Department of Mechanical and Aerospace Engineering University of California, Davis · Edwardson School of Industrial Engineering Purdue University

  13. Distribution and Clusters Approximations as Abstract Domains in Probabilistic Abstract Interpretation to Neural Network Analysis

    Mar 26, 2026Zhuofan Zhang, Herbert WiklickyAbstract InterpretationNeural Network Verification

    Department of Computing, Imperial College London, London, UK

  14. Probabilistic Abstract Interpretation on Neural Networks via Grids Approximation

    Mar 26, 2026Zhuofan Zhang, Herbert WiklickyNeural Network VerificationFormal Verification

    Imperial College London, 180 Queen’s Gate, South Kensington, London SW7 2AZ

  15. The Luna Bound Propagator for Formal Analysis of Neural Networks

    Mar 25, 2026Henry LeCates, Haoze WuAbstract InterpretationNeural Network Verification

    Amherst College, USA

  16. Hawkeye: Reproducing GPU-Level Non-Determinism

    Mar 20, 2026Erez Badash, Dan Boneh, Ilan Komargodski +1ML ReproducibilityNeural Network Verification

    Pearl Research Labs · Department of Computer Science, Stanford University

  17. Towards Verifiable AI with Lightweight Cryptographic Proofs of Inference

    Mar 19, 2026Pranay Anchuri, Matteo Campanelli, Paul Cesaretti +4Verifiable Outsourced ComputationNeural Network Verification

    Offchain Labs · University of Tartu, Estonia · CUNY Graduate Center +1

  18. SimCert: Probabilistic Certification for Behavioral Similarity in Deep Neural Network Compression

    Mar 16, 2026Jingyang Li, Fu Song, Guoqiang LiNeural Network VerificationNeural Network Compression

    Shanghai Jiao Tong University, Shanghai 200240, China · Institute of Software, Chinese Academy of Sciences, Beijing 100190, China

  19. Incremental Neural Network Verification via Learned Conflicts

    Mar 12, 2026Raya Elsaleh, Liam Davis, Haoze Wu +1Neural Network VerificationNeural Network Robustness

    Hebrew University of Jerusalem, Jerusalem, Israel · Amherst College, Amherst, USA

  20. Proof-Carrying Materials: Falsifiable Safety Certificates for Machine-Learned Interatomic Potentials

    Mar 12, 2026Abhinaba Basu, Pavan ChakrabortyMachine Learning Interatomic PotentialsMaterials Property Prediction

    Indian Institute of Information Technology Allahabad (IIITA), Prayagraj, India · National Institute of Electronics and Information Technology (NIELIT), India

  21. The FABRIC Strategy for Verifying Neural Feedback Systems

    Mar 9, 2026Samuel I. Akinwande, Sydney M. Katz, Mykel J. Kochenderfer +1Reachability AnalysisNeural Network Verification

    Department of Aeronautics and Astronautics, Stanford University, Stanford, USA · Department of Computer Science, Stanford University, Stanford, USA

  22. Certified and accurate computation of function space norms of deep neural networks

    Mar 6, 2026Johannes Gründler, Moritz Maibaum, Philipp PetersenNeural Network VerificationNumerical Integration

    Faculty of Mathematics, University of Vienna, Kolingasse 14–16, 1090 Vienna, Austria

  23. Lipschitz-Based Robustness Certification Under Floating-Point Execution

    Mar 6, 2026Toby MurrayNeural Network VerificationNeural Network Robustness

    University of Melbourne, Melbourne, Australia

  24. Exact and Asymptotically Complete Robust Verifications of Neural Networks via Ising Solvers

    Feb 28, 2026Wenxin Li, Wenchao Liu, Anzhe Jiang +6Neural Network VerificationNeural Network Robustness

    Beijing QBoson Quantum Technology Co., Ltd. · Tsinghua University · Beijing Normal University

  25. TorchLean: Formalizing Neural Networks in Lean

    Feb 26, 2026Robert Joseph George, Jennifer Cruden, Will Adkisson +3Neural Network Verification

    California Institute of Technology · Washington University in St. Louis · University of Illinois Urbana-Champaign

  26. Exact Certification of Data-Poisoning Attacks Using Mixed-Integer Programming

    Feb 18, 2026Philip Sosnin, Jodie Knapp, Fraser Kennedy +2Data Poisoning AttacksCertified Robustness

    Department of Computing, Imperial College London, United Kingdom · The Alan Turing Institute, United Kingdom

  27. A Note on Non-Composability of Layerwise Approximate Verification for Neural Inference

    Feb 17, 2026Or ZamirNeural Network Verification

    Tel Aviv University

  28. BEACONS: Bounded-Error, Algebraically-Composable Neural Solvers for Partial Differential Equations

    Feb 16, 2026Jonathan Gorard, Ammar Hakim, James JunoNeural PDE SolversPartial Differential Equations

    Princeton University Princeton, NJ 08544, USA · Princeton Plasma Physics Laboratory Princeton, NJ 08540, USA

  29. Formalized Hopfield Networks and Boltzmann Machines

    Dec 8, 2025Matteo Cipollina, Michail Karatarakis, Freek WiedijkNeural Network VerificationHopfield Networks

    Axiomatic AI, Barcelona, Spain · Radboud University, Nijmegen, The Netherlands

  30. Parameterized Hardness of Zonotope Containment and Neural Network Verification

    Sep 26, 2025Vincent Froese, Moritz Grillo, Christoph Hertrich +1Neural Network VerificationParameterized Complexity

    Technische Universität Berlin · Max Planck Institute for Mathematics in the Sciences · University of Technology Nuremberg