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 79

All topics
CardsList

  1. Formally Verifying Analog Neural Networks Under Process Variations Using Polynomial Zonotopes

    May 11, 2026Yasmine Abu-Haeyeh, Tobias Ladner, Matthias Althoff +1Formal Hardware VerificationNeural Network Verification

    Goethe University Frankfurt, Germany · Technical University of Munich, Germany

  2. Can We Formally Verify Neural PDE Surrogates? SMT Compilation of Small Fourier Neural Operators

    May 9, 2026Ali Baheri, Ignacio Laguna PeraltaNeural Network VerificationFourier Neural Operator

    Rochester Institute of Technology, Rochester, NY, USA · Lawrence Livermore National Laboratory, Livermore, CA, USA

  3. Vertex-Softmax: Tight Transformer Verification via Exact Softmax Optimization

    May 8, 2026Navid Rezazadeh, Arash Gholami DavoodiSoftmax AttentionNeural Network Verification

    University of California, Irvine · Carnegie Mellon University

  4. Efficient Verification of Neural Control Barrier Functions with Smooth Nonlinear Activations

    May 8, 2026Jun Zhang, Haibo Zhang, Chun Liu +2Neural Network VerificationControl Barrier Functions

    School of Mechatronic Engineering and Automation, Shanghai University, Shanghai, China · Beijing Institute of Control Engineering, Beijing, China · School of Mechatronic Engineering and Automation, Shanghai2026 University, Shanghai, China +1

  5. VNN-LIB 2.0: Rigorous Foundations for Neural Network Verification

    May 8, 2026Ann Roy, Allen Antony, Andrea Gimelli +1Neural Network VerificationFormal Verification

    University of Western Australia, Perth, Australia · University of Genoa, Genoa, Italy

  6. Set-Based Training of Neural Barrier Certificates for Safety Verification of Dynamical Systems

    May 4, 2026Miriam Kranzlmüller, Lukas Koller, Tobias Ladner +1Neural Network VerificationSafety-Critical Control

    Technical University of Munich, Germany · Ludwig-Maximilians-Universität in Munich, Germany

  7. Verification of Neural Networks (Lecture Notes)

    Apr 28, 2026Benedikt BolligNeural Network VerificationFeedforward Neural Networks

    Universit´e Paris-Saclay, CNRS, ENS Paris-Saclay, LMF

  8. Certified geometric robustness -- Super-DeepG

    Apr 27, 2026Noémie Cohen, Mélanie Ducoffe, Christophe Gabreau +2Neural Network VerificationNeural Network Robustness

    Airbus CR\&T · Airbus · French Aerospace Lab, ONERA

  9. GeoCert: Certified Geometric AI for Reliable Forecasting

    Apr 25, 2026Regina Zhang, Zongru Li, Honggang Wen +4Neural Network VerificationTime Series Forecasting

    Department of Biomedical Informatics & Data Science, Yale University, US · School of Computing and Data Science, Nanyang Technological University, Singapore. · Department of Computer Science, The University of Hong Kong, Hong Kong SAR +1

  10. 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

  11. 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

  12. FUSE: Ensembling Verifiers with Zero Labeled Data

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

    Stanford University · Google

  13. 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

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

    Mar 6, 2026Toby MurrayNeural Network VerificationNeural Network Robustness

    University of Melbourne, Australia

  15. 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

  16. 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

  17. Towards Understanding Deep Learning Model in Image Recognition via Coverage Test

    May 12, 2025Wenkai Li, Xiaoqi Li, Yingjie Mao +1Neural Network VerificationConvolutional Neural Networks

    Hainan University Haikou, China

  18. PICID: Proof-Driven Clause Learning in Neural Network Verification

    Mar 15, 2025Omri Isac, Idan Refaeli, Haoze Wu +2Neural Network VerificationSatisfiability Modulo Theories

    The Hebrew University of Jerusalem · Amherst College · Stanford University

  19. Understanding Certified Training with Interval Bound Propagation

    Jun 17, 2023Yuhao Mao, Mark Niklas Müller, Marc Fischer +1Neural Network VerificationNeural Network Robustness

    Department of Computer Science, ETH Zürich, Swizterland