Neural Network Verification

Ask about this topic

Recent momentum

-100%

0 papers in the last 28 days · 0.0% of indexed attention

Twelve weeks of publication activity for this topic as it is defined today.

Weekly history

Recent digests

What was published in this topic, kept on the site without email delivery.

Period ending 2026-09-07

1 new paper

A weekly snapshot of new work published in Neural Network Verification.

47 papers

Latest in Neural Network Verification

Open your feed →
CardsList

  1. Recurrent GraphNeural NetworkswithSet-BasedAggregation

    Sep 14, 2026Blai BonetReachabilityNeural Network Verification

  2. Branch and Bound for Relational Verification of Neural Networks

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

  3. Learning Lookahead Lemmas for Neural Network Verification

    Jul 31, 2026Liam Davis, Haoze WuNeural Network VerificationNeural Network

  4. Mining Verdict Boundaries for Neural Network Verification

    Jul 31, 2026Jiawei Ren, Guanqin Zhang, Zhenya Zhang +1Neural Network VerificationUpper Bounds

  5. Explanation-Based Runtime Verification for Trustworthy ML-driven Optical Networks

    Jul 22, 2026Omran Ayoub, Carlos Natalino, Ali Al Housseini +5Explainable Artificial IntelligenceOptical Networks

  6. PRISM: Sensitivity-Aware PolynoMial PRuning for EffIcient Neural Network Encryption

    Jul 20, 2026Sahaj Majavdia, Mahdi TaheriHomomorphic EncryptionNeural Network Verification

  7. Lookahead Branching for Neural Network Verification

    Jul 19, 2026Liam Davis, Duo Zhou, Huan Zhang +3Neural Network VerificationFormal Verification

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

    Jul 15, 2026Mojtaba SoltanalianNeural Network VerificationRectified Linear Unit Networks

  9. A Symbolic Neural CPU for Quantization-Simulated Writeback and Interpretable Program Execution

    Jul 10, 2026Jose Luis Lima de Jesus SilvaNeuro-Symbolic FrameworkNeural Network Verification

  10. When Certificates Fail: A Unified Safety Framework for Embedded Neural Interface Models

    Jul 7, 2026Jasmeet Singh BindraNeural Network VerificationBrain-Computer Interface

  11. Privacy-Preserving Robustness Verification for Neural Networks

    Jul 6, 2026Nianyun Song, Xiaokun Luan, Yu Guo +3Neural Network VerificationPrivacy-Preserving Framework

  12. Propagation of~Interval Belief Structures and~Imprecise Copulas for~Neural Network Verification

    Jun 29, 2026Francesc Pifarre-Esquerda, Eric Goubault, Sylvie PutotNeural Network VerificationBayesian Neural Networks

  13. Cycle-Consistent Neural Explanation of Formal Verification Certificates

    Jun 23, 2026Andoni Rodriguez, Alberto Pozanco, Daniel BorrajoFormal VerificationNeural Network Verification

  14. Are Safety Guarantees in Neural Networks Safe? How to Compute Trustworthy Robustness Certifications

    Jun 22, 2026Merkouris Papamichail, Konstantinos Varsos, Giorgos Flouris +1Neural Network VerificationCertification

  15. Some Complexity Results for Robustness Verification for Binarized Neural Networks

    Jun 17, 2026Harshit Goyal, Sudakshina DuttaNeural Network VerificationBinarization

  16. Veriphi: Attack-Guided Neural Network Verification with Dataset-Dependent Training Methods

    Jun 16, 2026Pratik Deshmukh, Kartik Arya, Vasili SavinNeural Network VerificationAdversarial Training

  17. TNODEV: Toolbox for Neural ODE Verification

    Jun 15, 2026Abdelrahman Sayed Sayed, Pierre-Jean Meyer, Mohamed GhazelNeural Network VerificationNeural Ordinary Differential Equations

  18. A Formal Tool for Verification of Probabilistic Spiking Neural Networks Based on Quotient Abstractions

    Jun 12, 2026Nikan Zandian Jazi, Elisabetta De Maria, Christopher LeturcSpiking Neural NetworksNeural Network Verification

  19. Robustness Verification of Recurrent Neural Networks with Abstraction Refinement

    Jun 10, 2026Li-Jen Lin, Chih-Duo HongNeural Network VerificationRecurrent Neural Networks

  20. Hybrid Robustness Verification for Spatio-Temporal Neural Networks

    Jun 8, 2026Sherwin Varghese, Matthew Wicker, Alessio LomuscioNeural Network VerificationAdversarial Transferability

  21. Scaling Neural Network Verification with Tensor Parallelism and Fully Sharded Data Parallelism

    Jun 8, 2026Sergei Vorobyov, Eugene IlyushinNeural Network VerificationParallel

  22. Testing Neural Networks via Bayesian-Guided Exploration of Decision Landscapes

    Jun 3, 2026Bin Duan, Meiru Che, Guowei YangBayesian Neural NetworksNeural Network Verification

  23. veriFIRE: an Industrial Case Study in Verifying Consistency Properties for a DNN-Based Wildfire Detection System

    Jun 2, 2026Idan Refaeli, Maya Swisa, Itay Buchnik +5Wildfire DetectionNeural Network Verification

  24. Rethinking Evaluation Paradigms in IBP-based Certified Training

    Jun 1, 2026Konstantin Kaulen, Hadar Shavit, Holger H. HoosNeural Network VerificationCertification

  25. A Per-Component Diagnostic Protocol for Neural HJB-PIDE Solvers under Control-Dependent Lévy Jumps

    May 31, 2026R. DrissiNeural SolversHamilton-Jacobi Reachability

  26. Neural Network Verification using Partial Multi-Neuron Relaxation

    May 28, 2026Ido Shmuel, Guy KatzNeural Network VerificationSemidefinite Programming

  27. The Complexity of Verifying Feedforward Neural Networks in Quantised Settings

    May 28, 2026Eric Alsmann, Martin Lange, Marco SälzerNeural Network VerificationQuantum Neural Networks

  28. Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial

    May 26, 2026Haoyu Li, Xiangru Zhong, Hao Cheng +2Neural Network VerificationNeural Control

  29. Fuzzy PyTorch: Rapid Numerical Variability Evaluation for Deep Learning Models

    May 25, 2026Inés Gonzalez-Pepe, Hiba Akhaddar, Tristan Glatard +1PytorchNeural Network Verification

  30. Verified SHAP: Provable Bounds for Exact Shapley Values of Neural Networks

    May 22, 2026David Boetius, Shahaf Bassan, Guy Katz +2Shapley ValueNeural Network Verification

  31. Encrypted Neural Networks without Overflows

    May 21, 2026Philipp Kern, Lorenzo Rovida, Samuel Teuber +3Homomorphic EncryptionNeural Network Verification

  32. NeuroNL2LTL: A Neurosymbolic Framework for Natural Language Translation of Linear Temporal Logic

    May 20, 2026Paapa Kwesi Quansah, Ernest BonnahLinear Temporal LogicsFormal Verification

  33. Quadratic Characterizations for Reachability Analysis of Neural Networks

    May 19, 2026Elias Khalife, Mazen Farhood, Pierre-Loic GarocheNeural Network VerificationReachability

  34. Stress-Testing Neural Network Verifiers with Provably Robust Instances

    May 16, 2026David Troxell, Yulia Alexandr, Sofia Hunt +2Neural Network VerificationVerifier

  35. Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement

    May 14, 2026Hengjie Liu, Zhenya Zhang, Jianjun ZhaoNeural Network VerificationTransformer Architectures

  36. Hierarchical End-to-End Taylor Bounds for Complete Neural Network Verification

    May 11, 2026Taha Entesari, Mahyar FazlyabNeural Network VerificationReachability

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

    May 11, 2026Yasmine Abu-Haeyeh, Tobias Ladner, Matthias Althoff +1Neural Network VerificationAnalog

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

    May 9, 2026Ali Baheri, Ignacio Laguna PeraltaFourier Neural OperatorsNeural Network Verification

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

    May 8, 2026Navid Rezazadeh, Arash Gholami DavoodiGumbel-Softmax RelaxationTransformer Attention

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

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

  41. Verification of Neural Networks (Lecture Notes)

    Apr 28, 2026Benedikt BolligNeural Network VerificationFeed-Forward Network

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

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

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

    Apr 20, 2026Merkouris Papamichail, Konstantinos Varsos, Giorgos Flouris +1Neural Network VerificationConvex Sets

  44. Generating adversarial inputs for a graph neural network model of AC power flow

    Feb 20, 2026Robert ParkerAc Optimal Power FlowNeural Network Verification

  45. Perturbing the Phase: Analyzing Adversarial Robustness of Complex-Valued Neural Networks

    Feb 6, 2026Florian Eilers, Christof Duhme, Xiaoyi JiangNeural Network VerificationNeural Network

  46. Parameterized Hardness of Zonotope Containment and Neural Network Verification

    Sep 26, 2025Vincent Froese, Moritz Grillo, Christoph Hertrich +1Neural Network VerificationRectified Linear Unit Networks

  47. Certified Robust Invariant Polytope Training in Neural Controlled ODEs

    Aug 2, 2024Akash Harapanahalli, Samuel CooganNeural ControlLyapunov Function