Cover Image

No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Szász, Attila, Bánhelyi, Balázs, Jelasity, Márk
Format:	Preprint
Published:	2025
Subjects:	Machine Learning
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Verification of the Implicit World Model in a Generative Model via Adversarial Sequences
by: Balogh, András, et al.
Published: (2026)

How not to Stitch Representations to Measure Similarity: Task Loss Matching versus Direct Matching
by: Balogh, András, et al.
Published: (2024)

GREAT-EER: Graph Edge Attention Network for Emergency Evacuation Responses
by: Lischka, Attila, et al.
Published: (2026)

Evaluating the Adversarial Robustness of Semantic Segmentation: Trying Harder Pays Off
by: Halmosi, Levente, et al.
Published: (2024)

Detecting Semantic Backdoors in a Mystery Shopping Scenario
by: Berta, Arpad, et al.
Published: (2026)

When World Models Dream Wrong: Physical-Conditioned Adversarial Attacks against World Models
by: Guo, Zhixiang, et al.
Published: (2026)

Less Is More -- On the Importance of Sparsification for Transformers and Graph Neural Networks for TSP
by: Lischka, Attila, et al.
Published: (2024)

Beyond Simple Graphs: Neural Multi-Objective Routing on Multigraphs
by: Rydin, Filip, et al.
Published: (2025)

Neural Network Verification is a Programming Language Challenge
by: Cordeiro, Lucas C., et al.
Published: (2025)

Frontiers of Deep Learning: From Novel Application to Real-World Deployment
by: Xie, Rui
Published: (2024)

Machine Learning based Analysis for Radiomics Features Robustness in Real-World Deployment Scenarios
by: Khan, Sarmad Ahmad, et al.
Published: (2025)

Towards Real-World Deployment of Reinforcement Learning for Traffic Signal Control
by: Müller, Arthur, et al.
Published: (2021)

Multi Part Deployment of Neural Network
by: Ranjan, Paritosh, et al.
Published: (2025)

Deploying Geospatial Foundation Models in the Real World: Lessons from WorldCereal
by: Butsko, Christina, et al.
Published: (2025)

Financial Management System for SMEs: Real-World Deployment of Accounts Receivable and Cash Flow Prediction
by: Małkus, Bartłomiej, et al.
Published: (2025)

Real-Time Safe Control of Neural Network Dynamic Models with Sound Approximation
by: Hu, Hanjiang, et al.
Published: (2024)

Neural Network Verification with PyRAT
by: Lemesle, Augustin, et al.
Published: (2024)

Robustness Verification of Polynomial Neural Networks
by: Alexandr, Yulia, et al.
Published: (2026)

Fully Automatic Neural Network Reduction for Formal Verification
by: Ladner, Tobias, et al.
Published: (2023)

Efficient Deployment of Spiking Neural Networks on SpiNNaker2 for DVS Gesture Recognition Using Neuromorphic Intermediate Representation
by: Arfa, Sirine, et al.
Published: (2025)

Directly Follows Graphs Go Predictive Process Monitoring With Graph Neural Networks
by: Lischka, Attila, et al.
Published: (2025)

Neural Proofs for Sound Verification and Control of Complex Systems
by: Abate, Alessandro
Published: (2025)

Benchmarking Convolutional Neural Network and Graph Neural Network based Surrogate Models on a Real-World Car External Aerodynamics Dataset
by: Jacob, Sam Jacob, et al.
Published: (2025)

Proof Minimization in Neural Network Verification
by: Isac, Omri, et al.
Published: (2025)

COPYCOP: Ownership Verification for Graph Neural Networks
by: Nandakumar, Rahul, et al.
Published: (2026)

(Almost) Smooth Sailing: Towards Numerical Stability of Neural Networks Through Differentiable Regularization of the Condition Number
by: Nenov, Rossen, et al.
Published: (2024)

Verification of Neural Networks' Global Robustness
by: Kabaha, Anan, et al.
Published: (2024)

First Three Years of the International Verification of Neural Networks Competition (VNN-COMP)
by: Brix, Christopher, et al.
Published: (2023)

Robustness Verification of Graph Neural Networks Via Lightweight Satisfiability Testing
by: Lu, Chia-Hsuan, et al.
Published: (2025)

Out of the Shadows: Exploring a Latent Space for Neural Network Verification
by: Koller, Lukas, et al.
Published: (2025)

VNN-LIB 2.0: Rigorous Foundations for Neural Network Verification
by: Roy, Ann, et al.
Published: (2026)

KAYRA: A Microservice Architecture for AI-Assisted Karyotyping with Cloud and On-Premise Deployment
by: Pintér, Attila, et al.
Published: (2026)

Logic Gate Neural Networks are Good for Verification
by: Kresse, Fabian, et al.
Published: (2025)

On Integer Programming for the Binarized Neural Network Verification Problem
by: Kim, Woojin, et al.
Published: (2025)

Neural Network Verification with Branch-and-Bound for General Nonlinearities
by: Shi, Zhouxing, et al.
Published: (2024)

Correctness Verification of Neural Networks Approximating Differential Equations
by: Ellinas, Petros, et al.
Published: (2024)

Chordal Sparsity for SDP-based Neural Network Verification
by: Xue, Anton, et al.
Published: (2022)

Real-Time Sensing of Inaccessible Physical Fields via an Edge-Deployable Hardware-Portable Graph Neural Operator
by: Howes, William, et al.
Published: (2026)

SoundnessBench: A Soundness Benchmark for Neural Network Verifiers
by: Zhou, Xingjian, et al.
Published: (2024)

Deploying Tiny LVLM Judges for Real-World Evaluation of Chart Models: Lessons Learned and Best Practices
by: Laskar, Md Tahmid Rahman, et al.
Published: (2025)