Cover Image

Probabilistically Tightened Linear Relaxation-based Perturbation Analysis for Neural Network Verification

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Marzari, Luca, Cicalese, Ferdinando, Farinelli, Alessandro
Format:	Preprint
Published:	2025
Subjects:	Machine Learning Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

On the Probabilistic Learnability of Compact Neural Network Preimage Bounds
by: Marzari, Luca, et al.
Published: (2025)

Enumerating Safe Regions in Deep Neural Networks with Provable Probabilistic Guarantees
by: Marzari, Luca, et al.
Published: (2023)

Rigorous Probabilistic Guarantees for Robust Counterfactual Explanations
by: Marzari, Luca, et al.
Published: (2024)

Advancing Neural Network Verification through Hierarchical Safety Abstract Interpretation
by: Marzari, Luca, et al.
Published: (2025)

Probabilistic Verification of Recurrent Neural Networks for Single and Multi-Agent Reinforcement Learning
by: Marzari, Luca, et al.
Published: (2026)

Tightening Robustness Verification of MaxPool-based Neural Networks via Minimizing the Over-Approximation Zone
by: Xiao, Yuan, et al.
Published: (2022)

The Cost of Relaxation: Evaluating the Error in Convex Neural Network Verification
by: Papamichail, Merkouris, et al.
Published: (2026)

Solving Probabilistic Verification Problems of Neural Networks using Branch and Bound
by: Boetius, David, et al.
Published: (2024)

SAVER: A Toolbox for Sampling-Based, Probabilistic Verification of Neural Networks
by: Sivaramakrishnan, Vignesh, et al.
Published: (2024)

DeepDFA: Automata Learning through Neural Probabilistic Relaxations
by: Umili, Elena, et al.
Published: (2024)

Designing Control Barrier Function via Probabilistic Enumeration for Safe Reinforcement Learning Navigation
by: Marzari, Luca, et al.
Published: (2025)

BaB-prob: Branch and Bound with Preactivation Splitting for Probabilistic Verification of Neural Networks
by: Wang, Fangji, et al.
Published: (2025)

Ensemble Graph Neural Networks for Probabilistic Sea Surface Temperature Forecasting via Input Perturbations
by: González-Santana, Alejandro J., et al.
Published: (2026)

Achieving the Tightest Relaxation of Sigmoids for Formal Verification
by: Chevalier, Samuel, et al.
Published: (2024)

DeepCDCL: An CDCL-based Neural Network Verification Framework
by: Liu, Zongxin, et al.
Published: (2024)

Verification of Geometric Robustness of Neural Networks via Piecewise Linear Approximation and Lipschitz Optimisation
by: Batten, Ben, et al.
Published: (2024)

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

RobustX: Robust Counterfactual Explanations Made Easy
by: Jiang, Junqi, et al.
Published: (2025)

Unifying Adversarial Perturbation for Graph Neural Networks
by: Yang, Jinluan, et al.
Published: (2025)

Towards Probabilistic Inductive Logic Programming with Neurosymbolic Inference and Relaxation
by: Hillerstrom, Fieke, et al.
Published: (2024)

Expressiveness of Multi-Neuron Convex Relaxations in Neural Network Certification
by: Mao, Yuhao, et al.
Published: (2024)

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

Increasing the Confidence of Deep Neural Networks by Coverage Analysis
by: Rossolini, Giulio, et al.
Published: (2021)

Improving Policy Optimization via $\varepsilon$-Retrain
by: Marzari, Luca, et al.
Published: (2024)

Multi-Evidence based Fact Verification via A Confidential Graph Neural Network
by: Lan, Yuqing, et al.
Published: (2024)

APEX: Probing Neural Networks via Activation Perturbation
by: Ren, Tao, et al.
Published: (2026)

Probabilistic ML Verification via Weighted Model Integration
by: Morettin, Paolo, et al.
Published: (2024)

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

Neural Network Approximators for Marginal MAP in Probabilistic Circuits
by: Arya, Shivvrat, et al.
Published: (2024)

Verification of Neural Networks against Convolutional Perturbations via Parameterised Kernels
by: Brückner, Benedikt, et al.
Published: (2024)

Relaxing Continuous Constraints of Equivariant Graph Neural Networks for Physical Dynamics Learning
by: Zheng, Zinan, et al.
Published: (2024)

Latent Communication in Artificial Neural Networks
by: Moschella, Luca
Published: (2024)

ProTIP: Probabilistic Robustness Verification on Text-to-Image Diffusion Models against Stochastic Perturbation
by: Zhang, Yi, et al.
Published: (2024)

Probabilistic Modeling of Latent Agentic Substructures in Deep Neural Networks
by: Lee, Su Hyeong, et al.
Published: (2025)

Perturbation-Induced Linearization: Constructing Unlearnable Data with Solely Linear Classifiers
by: Liu, Jinlin, et al.
Published: (2026)

Enhancing the Resilience of Graph Neural Networks to Topological Perturbations in Sparse Graphs
by: He, Shuqi, et al.
Published: (2024)

Mitigating Overfitting in Graph Neural Networks via Feature and Hyperplane Perturbation
by: Choi, Yoonhyuk, et al.
Published: (2022)

Perturbing the Phase: Analyzing Adversarial Robustness of Complex-Valued Neural Networks
by: Eilers, Florian, et al.
Published: (2026)

Bridging Efficiency and Safety: Formal Verification of Neural Networks with Early Exits
by: Elboher, Yizhak Yisrael, et al.
Published: (2025)

Training Verification-Friendly Neural Networks via Neuron Behavior Consistency
by: Liu, Zongxin, et al.
Published: (2024)