Neural Network Verification

Ask about this topic

Momentum

13 papers in the last four weeks, up 225% on the four weeks before. 0.1% of all new papers.

Jul 13Week of Sep 28
View on map

Latest papers 80

All topics
CardsList

  1. Neural Network Verification for Deep Joint Source-Channel Coding

    Oct 8, 2026Thanh Le, Hai Duong, Takeshi Matsumura +1Certified RobustnessNeural Network Verification

    Wireless Systems Laboratory, National Institute of Information and Communication Technology, Yokosuka, Kanagawa, Japan · George Mason University, Fairfax, VA, USA

  2. Toward AI Trustworthiness: Finding Analytically Proven Forward-Invariant Sets for AI-Controlled Systems

    Oct 5, 2026Haoyang Song, Xikun Yang, Qixin WangNeural Network VerificationTrust in AI

    Department of Computing, The Hong Kong Polytechnic University, Hong Kong SAR, China.

  3. Security Properties of Neural Networks as Decision Problems

    Sep 30, 2026Adrian WurmNeural Network VerificationAdversarial Attacks

    BTU Cottbus–Senftenberg, Lehrstuhl Theoretische Informatik Platz der Deutschen Einheit 1, 03046 Cottbus, Germany

  4. Stochastic World Models for Verifying Vision-Based Neural Feedback Systems

    Sep 29, 2026I. Samuel Akinwande, Mykel J. Kochenderfer, Clark BarrettNeural Surrogate ModelingNeural Network Verification

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

  5. CLAD: Constrained Abstract Domain for Neural Network Verification

    Sep 28, 2026Hai Duong, Thanh Le, ThanhVu NguyenNeural Network VerificationNeural Network Robustness

    Department of Computer Science George Mason University Fairfax, VA, USA · Unaffiliated Yokosuka, Japan

  6. Verifying Neural Networks with Reinforcement Learning

    Sep 28, 2026Hai Duong, Thanh Le, ThanhVu NguyenNeural Network VerificationBranch and Bound

    Department of Computer Science George Mason University Fairfax, VA, USA · Unaffiliated Yokosuka, Japan

  7. ZonoGPT: Towards An Abstract Domain for Verifying Large GPT Models

    Sep 28, 2026Hai Duong, Thanh Le, ThanhVu NguyenNeural Network Verification

    Department of Computer Science George Mason University Fairfax, VA, USA · Unaffiliated Yokosuka, Japan

  8. Reachability-Based Formal Verification of Graph Neural Networks with Node and Edge Features

    Sep 24, 2026Anne M. Tumlin, Ben Wooding, Zhenxuan Shao +3Neural Network VerificationReachability Analysis

    Vanderbilt University, Nashville, TN, USA

  9. NNV3: Expanding Neural Network Verification to New Architectures and Domains

    Sep 24, 2026Anne M. Tumlin, Samuel Sasaki, Ben Wooding +8Neural Network VerificationReachability Analysis

    Vanderbilt University, USA · The University of Texas at Dallas, USA

  10. Exploring Solver-Level Warmstarting for Neural Network Verification

    Sep 22, 2026Annelot Bosman, Minghao Liu, Marta Kwiatkowska +2Neural Network Verification

    Leiden Institute of Advanced Computer Science, Leiden · University of Oxford, United Kingdom · Chair for AI Methodology, RWTH Aachen University, Germany +1

  11. OPEN-1B: A Fully Auditable Training Run

    Sep 15, 2026John Donaghy, Brian Wilcox, Oğuzhan Ersoy +6Neural Network VerificationLLM Auditing

    Gensyn

  12. Certified Inference and Training for Deep Equilibrium Networks: A Continuation Framework with Polynomial Complexity Guarantees

    Sep 15, 2026Alex BorisevichNeural Network Verification

  13. Certified Uncertainty Propagation in One-Shot Federated Bayesian Models via Posterior Event Transport

    Sep 14, 2026Mahyar Mohammadi, Mohammad Hossein Badiei, Abolfazl Yaghmaei +1Bayesian Neural NetworksNeural Network Verification

    School of Electrical and Computer Engineering, College of Engineering, University of Tehran, Tehran, 1417614411, Iran · School of Computer Science, Institute for Research in Fundamental Sciences (IPM), P.O. Box 19395-5746, Tehran, Iran

  14. The Misery of Mechanistic Interpretability: A Formal Perspective

    Sep 14, 2026Tobias Ladner, Matthias AlthoffNeural Network VerificationLLM Interpretability

    Technical University of Munich, Germany

  15. Testing Between the Test Cases: Proving End-to-End Steering in Conditions You Never Drove

    Sep 10, 2026Menuka Ghalan, Charles Rodgers, Zachary D. AsherNeural Network VerificationEnd-to-End Autonomous Driving

    Department of Computer Science, Western Michigan University, Kalamazoo, MI, USA · Department of Mechanical and Aerospace Engineering, Western Michigan University, Kalamazoo, MI, USA

  16. Probabilistic Model Checking of Autoregressive Neural Sequence Models

    Sep 1, 2026Helge Spieker, Dennis Gross, Arnaud GotliebNeural Network VerificationAutoregressive Language Modeling

    Simula Research Laboratory, Oslo, Norway

  17. Branch and Bound for Relational Verification of Neural Networks

    Aug 13, 2026Kota Fukuda, Zhenya Zhang, Guanqin Zhang +1Neural Network VerificationNeural Network Robustness

    Graduate School and Faculty of Information Science and Electrical Engineering, Kyushu University, Fukuoka, Japan · National Institute of Informatics, Tokyo, Japan · UNSW Sydney, Australia

  18. Training Under Challenge: Executable Certificates and Challenge-Closed Optimality for Neural Networks

    Aug 12, 2026Farhang Yeganegi, Arian Eamaz, Mojtaba SoltanalianNeural Network VerificationNeural Network Optimization

    Department of Electrical and Computer Engineering University of Illinois Chicago Chicago, Illinois, USA

  19. SeFaR: Semantic Feature-aware Robustness Testing of Deep Neural Networks

    Aug 10, 2026Nusrat Jahan Mozumder, Divya Gopinath, Corina Pasareanu +1Neural Network VerificationNeural Network Robustness

    University of Virginia · USA · KBR Inc., NASA Ames +1

  20. Learning Lookahead Lemmas for Neural Network Verification

    Jul 31, 2026Liam Davis, Haoze WuNeural Network VerificationReLU Neural Networks

    Amherst College

  21. Mining Verdict Boundaries for Neural Network Verification

    Jul 31, 2026Jiawei Ren, Guanqin Zhang, Zhenya Zhang +1Neural Network VerificationBranch and Bound

    University of New South Wales, Sydney, Australia · Kyushu University, Fukuoka, Japan · National Institute of Informatics, Tokyo, Japan

  22. Agree on the Model, Verify the Inference: GKR Protocols for HND-Based Transformer Inference

    Jul 23, 2026Xiaolong Liang, Juanjuan Li, Rui Qin +1Neural Network VerificationTransformer Inference

    State Key Laboratory of Multimodal Artificial Intelligence Systems, Institute of Automation, Chinese Academy of Sciences, Beijing 100190, China

  23. Lookahead Branching for Neural Network Verification

    Jul 19, 2026Liam Davis, Duo Zhou, Huan Zhang +3Neural Network VerificationBranch and Bound

    Amherst College · University of Illinois Urbana-Champaign · Hebrew University of Jerusalem +1

  24. Certifying Residual Architectures from Their Primitives: A Sharp Stability Threshold

    Jul 16, 2026Hyemin Gu, Michael Tyrrell, Tuhin Sahai +1Neural Network VerificationResidual Learning

    University of Massachusetts Amherst · SRI International

  25. Random Parameter Noise Does Not Make Exact ReLU Verification Easy

    Jul 15, 2026Mojtaba SoltanalianNeural Network VerificationReLU Neural Networks

    Department of Electrical and Computer Engineering University of Illinois Chicago

  26. How Far is Too Far? Defining the Distance Threshold for Verification Siamese Networks

    Jul 6, 2026Heloísa Dias Viotto, Cauê Samonek, Lucas Garcia Pedroso +3Neural Network VerificationSiamese Neural Networks

    ∗Departamento de Informática (DInf), Universidade Federal do Paraná, Curitiba, PR - Brazil · † Departamento de Matemática (DMAT), Universidade Federal do Paraná Curitiba, PR - Brazil

  27. Privacy-Preserving Robustness Verification for Neural Networks

    Jul 6, 2026Nianyun Song, Xiaokun Luan, Yu Guo +3Secure Multi-Party ComputationNeural Network Verification

    School of Artificial Intelligence, Beijing Key Laboratory of Artificial Intelligence for Education, Engineering Research Center of Intelligent Technology and Educational Application (Ministry of Education), Beijing Normal University, Beijing, China · School of Mathematical Sciences, Peking University, Beijing, China · School of Computer Science, University of Bristol, Bristol, UK

  28. Robustness Verification of an Autonomous Underwater Vehicle-based Plankton Classifier

    Jul 5, 2026Abdelrahman Sayed Sayed, Pierre-Jean Meyer, Asgeir J. Sørensen +1Neural Network VerificationReachability Analysis

    Univ Gustave Eiffel, COSYS-ESTAS F-59657 Villeneuve d’Ascq, France · Department of Marine Technology Norwegian University of Science and Technology (NTNU) Trondheim, Norway

  29. ShardNet: Training Neural Controllers with Hard, Non-Convex Constraints

    Jun 29, 2026Long Kiu Chung, Shreyas KousikNeural Network VerificationSafety-Critical Control

    Department of Mechanical Engineering, Georgia Institute of Technology, Atlanta, GA.

  30. Propagation ofInterval Belief Structures andImprecise Copulas for~Neural Network Verification

    Jun 29, 2026Francesc Pifarre-Esquerda, Eric Goubault, Sylvie PutotNeural Network VerificationUncertainty Quantification

    LIX · LIX, CNRS, École polytechnique, Institut Polytechnique de Paris, Palaiseau, France · X-DEP-INFO