Neural Network Verification

Ask about this topic

Recent momentum

-67%

1 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-21

1 new paper

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

Period ending 2026-09-07

1 new paper

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

49 papers

Latest in Neural Network Verification

Open your feed →
CardsList

  1. Exploring Solver-Level Warmstarting for Neural Network Verification

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

  2. Recurrent GraphNeural NetworkswithSet-BasedAggregation

    Sep 14, 2026Blai BonetReachabilityNeural Network Verification

  3. Branch and Bound for Relational Verification of Neural Networks

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

  4. Learning Lookahead Lemmas for Neural Network Verification

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

  5. Mining Verdict Boundaries for Neural Network Verification

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

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

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

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

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

  8. Lookahead Branching for Neural Network Verification

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

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

    Jul 15, 2026Mojtaba SoltanalianNeural Network VerificationRectified Linear Unit Networks

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

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

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

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

  12. Privacy-Preserving Robustness Verification for Neural Networks

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

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

  14. Cycle-Consistent Neural Explanation of Formal Verification Certificates

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

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

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

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

    Jun 17, 2026Harshit Goyal, Sudakshina DuttaNeural Network VerificationBinarization

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

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

  18. TNODEV: Toolbox for Neural ODE Verification

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

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

  20. Robustness Verification of Recurrent Neural Networks with Abstraction Refinement

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

  21. Hybrid Robustness Verification for Spatio-Temporal Neural Networks

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

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

    Jun 8, 2026Sergei Vorobyov, Eugene IlyushinNeural Network VerificationParallel

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

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

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

  25. Rethinking Evaluation Paradigms in IBP-based Certified Training

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

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

    May 31, 2026R. DrissiNeural SolversHamilton-Jacobi Reachability

  27. Neural Network Verification using Partial Multi-Neuron Relaxation

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

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

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

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

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

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

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

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

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

  32. Encrypted Neural Networks without Overflows

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

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

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

  34. Quadratic Characterizations for Reachability Analysis of Neural Networks

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

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

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

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

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

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

    May 11, 2026Taha Entesari, Mahyar FazlyabNeural Network VerificationReachability

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

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

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

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

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

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

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

  42. Verification of Neural Networks (Lecture Notes)

    Apr 28, 2026Benedikt BolligNeural Network VerificationFeed-Forward Network

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

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

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

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

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

    Feb 20, 2026Robert ParkerAc Optimal Power FlowNeural Network Verification

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

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

  47. Parameterized Hardness of Zonotope Containment and Neural Network Verification

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

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

    Mar 15, 2025Omri Isac, Idan Refaeli, Haoze Wu +2Neural Network Verification

  49. Certified Robust Invariant Polytope Training in Neural Controlled ODEs

    Aug 2, 2024Akash Harapanahalli, Samuel CooganNeural ControlLyapunov Function