Neural Network Verification

Follow this topic 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

Latest papers 80

All topics

Certification of Machine Learning Models via Directional Sharpness
Jun 23, 2026Gefei Tan, Adria Gascon, Sarah Meiklejohn +1Neural Network Generalization Neural Network Verification
Northwestern University & Google · Google · University College London
Are Safety Guarantees in Neural Networks Safe? How to Compute Trustworthy Robustness Certifications
Jun 22, 2026Merkouris Papamichail, Konstantinos Varsos, Giorgos Flouris +1Neural Network Verification Neural Network Robustness
Foundation for Reasearch and Technology - Hellas, Heraklion, Greece · University of Crete, Heraklion, Greece · Catalan Institution for Research and Advanced Studies, Barcelona, Spain +1
OVIG: Optimistic Verification of AI Training Integrity via Gradient Signals
Jun 19, 2026Hongxu Su, Jianzhu Yao, Huan Zhang +2Neural Network Verification Algorithmic Auditing
HKUST (GZ), Guangzhou, China · Princeton University, Princeton, NJ, USA · University of Illinois Urbana-Champaign, Urbana, IL, USA
Shifting-based Optimizable Linear Relaxations for General Activation Functions
Jun 18, 2026Philipp Kern, László Antal, Erika Ábráham +1Neural Network Verification Neural Network Activation Functions
Karlsruhe Institute of Technology · RWTH Aachen University · Karlsruhe University of Applied Sciences
Formal Verification of Learned Multi-Agent Communication Policies via Decision Tree Distillation
Jun 17, 2026Ahmad Farooq, Kamran IqbalNeural Network Verification Multi-Robot Coordination
Department of Electrical and Computer Engineering, University of Arkansas at Little Rock, Little Rock, AR 72204 USA
Some Complexity Results for Robustness Verification for Binarized Neural Networks
Jun 17, 2026Harshit Goyal, Sudakshina DuttaNeural Network Verification Binary Neural Networks
Indian Institute of Technology Goa
Veriphi: Attack-Guided Neural Network Verification with Dataset-Dependent Training Methods
Jun 16, 2026Pratik Deshmukh, Kartik Arya, Vasili SavinAdversarial Training Neural Network Verification
TU Wien, Vienna, Austria
TNODEV: Toolbox for Neural ODE Verification
Jun 15, 2026Abdelrahman Sayed Sayed, Pierre-Jean Meyer, Mohamed GhazelNeural Network Verification Reachability Analysis
Univ Gustave Eiffel, COSYS-ESTAS, F-59657 Villeneuve d’Ascq, France
A Formal Tool for Verification of Probabilistic Spiking Neural Networks Based on Quotient Abstractions
Jun 12, 2026Nikan Zandian Jazi, Elisabetta De Maria, Christopher LeturcNeural Network Verification Formal Verification
Université Côte d'Azur, CNRS, I3S, France
Reliable Error Estimation for PINNs: Lower and Upper A Posteriori Bounds
Jun 10, 2026Ismail Huseynov, Arzu Ahmadova, Agamirza BashirovDynamical Systems Neural Network Verification
Physikalisch-Technische Bundesanstalt (PTB), Germany · Technical University of Berlin, Germany · Weierstrass Institute for Applied Analysis and Stochastics, Berlin, Germany +1
Robustness Verification of Recurrent Neural Networks with Abstraction Refinement
Jun 10, 2026Li-Jen Lin, Chih-Duo HongNeural Network Verification Neural Network Robustness
Dept. of Management Information Systems National Chengchi University Taipei, Taiwan
Hybrid Robustness Verification for Spatio-Temporal Neural Networks
Jun 8, 2026Sherwin Varghese, Matthew Wicker, Alessio LomuscioNeural Network Verification Neural Network Robustness
Imperial College London, United Kingdom
Scaling Neural Network Verification with Tensor Parallelism and Fully Sharded Data Parallelism
Jun 8, 2026Sergei Vorobyov, Eugene IlyushinNeural Network Verification High-Performance Computing
Lomonosov Moscow State University · Central University
veriFIRE: an Industrial Case Study in Verifying Consistency Properties for a DNN-Based Wildfire Detection System
Jun 2, 2026Idan Refaeli, Maya Swisa, Itay Buchnik +5Neural Network Verification Wildfire Detection
The Hebrew University of Jerusalem, Jerusalem, Israel · Elbit Systems - ISTAR & EW - Elisra L.T.D, Holon, Israel · Cornell University, Ithaca, New York, USA
Rethinking Evaluation Paradigms in IBP-based Certified Training
Jun 1, 2026Konstantin Kaulen, Hadar Shavit, Holger H. HoosNeural Network Verification Neural Network Robustness
Chair of AI Methodology, RWTH Aachen University, Aachen, Germany · LIACS, Leiden University, Leiden, The Netherlands
Bit-Exact AI Inference Verification Without Performance Tradeoffs
May 29, 2026Naci CankayaNeural Network Verification LLM Inference
Machine Intelligence Research Institute
Neural Network Verification using Partial Multi-Neuron Relaxation
May 28, 2026Ido Shmuel, Guy KatzNeural Network Verification
The Hebrew University of Jerusalem, Jerusalem, Israel
The Complexity of Verifying Feedforward Neural Networks in Quantised Settings
May 28, 2026Eric Alsmann, Martin Lange, Marco SälzerNeural Network Verification Formal Verification
University of Kassel · RPTU University Kaiserslautern-Landau
Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial
May 26, 2026Haoyu Li, Xiangru Zhong, Hao Cheng +2Neural Network Verification
Department of Computer Science · Department of Electrical and Computer Engineering, University of Illinois Urbana-Champaign, Urbana, IL 61801, USA
Parallel Differentiable Reachability for Learning and Planning with Certified Neural Dynamics and Controllers
May 25, 2026Keyi Shen, Glen ChouRobotic Control Neural Network Verification
Georgia Institute of Technology, Atlanta, GA 30308
Lipschitz Optimization for Formal Verification of Homographies
May 22, 2026Jean-Guillaume Durand, Panagiotis Kouvaros, Maxime Gariel +1Neural Network Verification Certified Robustness
Joby Aviation · Safe Intelligence
Encrypted Neural Networks without Overflows
May 21, 2026Philipp Kern, Lorenzo Rovida, Samuel Teuber +3Neural Network Verification Homomorphic Encryption
Karlsruhe Institute of Technology, Germany · Polytechnic University of Turin, Italy · The University of Manchester, UK +2
Certification from Examples is Hard for Circuits and Transformers under Minimal Overparametrization
May 21, 2026Artur Back de Luca, Kimon FountoulakisNeural Network Verification
University of Waterloo
Towards Verifiable Transformers: Solver-Checkable Circuit Explanations
May 21, 2026Neel SomaniNeural Network Verification Transformer
Independent Researcher
Quadratic Characterizations for Reachability Analysis of Neural Networks
May 19, 2026Elias Khalife, Mazen Farhood, Pierre-Loic GarocheNeural Network Verification Reachability Analysis
Kevin T. Crofton Department of Aerospace and Ocean Engineering, Virginia Tech, Blacksburg, VA 24061, USA · Federation ENAC ISAE-SUPAERO ONERA, Universite de Toulouse, Toulouse, France
Stress-Testing Neural Network Verifiers with Provably Robust Instances
May 16, 2026David Troxell, Yulia Alexandr, Sofia Hunt +2Neural Network Verification Neural Network Robustness
Department of Statistics & Data Science, University of California, Los Angeles · Department of Mathematics, University of California, Los Angeles · Max Planck Institute for Mathematics in the Sciences, Leipzig
Probabilistic Verification of Recurrent Neural Networks for Single and Multi-Agent Reinforcement Learning
May 14, 2026Luca Marzari, Enrico MarchesiniNeural Network Verification Partially Observable RL
1TU Wien, Vienna, Austria · 2Massachusetts Institute of Technology, Cambridge (MA), USA
Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement
May 14, 2026Hengjie Liu, Zhenya Zhang, Jianjun ZhaoNeural Network Verification Formal Verification
Kyushu University, Fukuoka, Japan · National Institute of Informatics, Tokyo, Japan
Quantitative Linear Logic for Neuro-Symbolic Learning and Verification
May 13, 2026Thomas Flinkow, Ekaterina Komendantskaya, Matteo Capucci +1Neural Network Verification Neuro-Symbolic Reasoning
Maynooth University, Maynooth, IE · University of Southampton, Southampton, UK · University of Strathclyde, Glasgow, UK +1
Beyond Red-Teaming: Formal Guarantees of LLM Guardrail Classifiers
May 11, 2026Nikita Kezins, Urbas Ekka, Pascal Berrang +1Neural Network Verification Language Model Safety Evaluation
Delft University of Technology · University of Birmingham & Zeroth Research

Jun 23, 2026, cs.LGJ/K move · Enter open · S save

Certification of Machine Learning Models via Directional Sharpness

Gefei Tan, Adria Gascon, Sarah Meiklejohn, Mariana Raykova

Northwestern University & Google · Google · University College London

Neural Network Generalization Neural Network Verification Algorithmic Auditing

Open paper AskPDF arXiv

In machine learning, model certification has been identified as an important method for gaining assurance about a model's trustworthiness and quality. A model's quality is largely determined by its ability to generalize, i.e., to perform well on data beyond what it was trained on. It is not possible to certify generalization directly, however, as it depends on unknown data and is not directly measurable. Proxies such as test accuracy can be misleading when the training process is perturbed (intentionally or accidentally), and metrics such as sharpness -- which has an empirically supported link to generalization -- are computationally expensive and can also serve as unreliable signals when training deviates from a prescribed procedure. In this work, we propose directional sharpness, a metric designed to efficiently and reliably indicate generalization despite potential training deviations. We provide empirical and analytical evidence that directional sharpness (1) correlates more strongly with generalization than existing metrics and (2) identifies models with poor generalization more reliably than existing metrics. Furthermore, directional sharpness is efficiently computable in model auditing settings, where the verifier has access to training data, and via zero-knowledge proofs that certify quality without revealing training data.

Momentum

Related topics

Latest papers 80