Cover Image

Enumerating Safe Regions in Deep Neural Networks with Provable Probabilistic Guarantees

Fuente: arXiv

Saved in:

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

Similar Items

Probabilistically Tightened Linear Relaxation-based Perturbation Analysis for Neural Network Verification
by: Marzari, Luca, et al.
Published: (2025)

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

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

Designing Control Barrier Function via Probabilistic Enumeration for Safe Reinforcement Learning Navigation
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)

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

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

Fast and Exact Enumeration of Deep Networks Partitions Regions
by: Balestriero, Randall, et al.
Published: (2024)

Parallel Algorithms for Exact Enumeration of Deep Neural Network Activation Regions
by: Drammis, Sabrina, et al.
Published: (2024)

SafeAdapt: Provably Safe Policy Updates in Deep Reinforcement Learning
by: Anisimov, Maksim, et al.
Published: (2026)

Provably-Safe Neural Network Training Using Hybrid Zonotope Reachability Analysis
by: Chung, Long Kiu, et al.
Published: (2025)

Aquatic Navigation: A Challenging Benchmark for Deep Reinforcement Learning
by: Corsi, Davide, et al.
Published: (2024)

Implicit Hypergraph Neural Networks: A Stable Framework for Higher-Order Relational Learning with Provable Guarantees
by: Li, Xiaoyu, et al.
Published: (2025)

Probabilistic Performance Guarantees for Multi-Task Reinforcement Learning
by: Schnitzer, Yannik, et al.
Published: (2026)

Robust Counterfactual Explanations for Neural Networks With Probabilistic Guarantees
by: Hamman, Faisal, et al.
Published: (2023)

Model-agnostic Selective Labeling with Provable Statistical Guarantees
by: Huang, Huipeng, et al.
Published: (2025)

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

Deciphering Raw Data in Neuro-Symbolic Learning with Provable Guarantees
by: Tao, Lue, et al.
Published: (2023)

Implicit Safe Set Algorithm for Provably Safe Reinforcement Learning
by: Zhao, Weiye, et al.
Published: (2024)

Probabilistic Stability Guarantees for Feature Attributions
by: Jin, Helen, et al.
Published: (2025)

Provably Safe Neural Network Controllers via Differential Dynamic Logic
by: Teuber, Samuel, et al.
Published: (2024)

Provably Powerful Graph Neural Networks for Directed Multigraphs
by: Egressy, Béni, et al.
Published: (2023)

On the Provable Performance Guarantee of Efficient Reasoning Models
by: Zeng, Hao, et al.
Published: (2025)

Probabilistic Multi-Regional Solar Power Forecasting with Any-Quantile Recurrent Neural Networks
by: Smyl, Slawek, et al.
Published: (2026)

Dynamic Model Predictive Shielding for Provably Safe Reinforcement Learning
by: Banerjee, Arko, et al.
Published: (2024)

Provably Bounding Neural Network Preimages
by: Kotha, Suhas, et al.
Published: (2023)

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

Analyzing Adversarial Inputs in Deep Reinforcement Learning
by: Corsi, Davide, et al.
Published: (2024)

A Survey on Knowledge Editing of Neural Networks
by: Mazzia, Vittorio, et al.
Published: (2023)

From Algorithm to Hardware: A Survey on Efficient and Safe Deployment of Deep Neural Networks
by: Geng, Xue, et al.
Published: (2024)

Probabilistic Shielding for Safe Reinforcement Learning
by: Court, Edwin Hamel-De le, et al.
Published: (2025)

Leveraging Analytic Gradients in Provably Safe Reinforcement Learning
by: Walter, Tim, et al.
Published: (2025)

Spectral-Risk Safe Reinforcement Learning with Convergence Guarantees
by: Kim, Dohyeong, et al.
Published: (2024)

Discrete-Guided Diffusion for Scalable and Safe Multi-Robot Motion Planning
by: Liang, Jinhao, et al.
Published: (2025)

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

Counterfactual Explanations with Probabilistic Guarantees on their Robustness to Model Change
by: Stępka, Ignacy, et al.
Published: (2024)

BONES: a Benchmark fOr Neural Estimation of Shapley values
by: Napolitano, Davide, et al.
Published: (2024)

Hypergraph Neural Networks Accelerate MUS Enumeration
by: Ijima, Hiroya, et al.
Published: (2026)

Optimal Transport Perturbations for Safe Reinforcement Learning with Robustness Guarantees
by: Queeney, James, et al.
Published: (2023)

Neuro-Symbolic Generative Diffusion Models for Physically Grounded, Robust, and Safe Generation
by: Christopher, Jacob K., et al.
Published: (2025)