Cover Image

Advancing Neural Network Verification through Hierarchical Safety Abstract Interpretation

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Marzari, Luca, Mastroeni, Isabella, Farinelli, Alessandro
Format:	Preprint
Published:	2025
Subjects:	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)

On the Probabilistic Learnability of Compact Neural Network Preimage Bounds
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)

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

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

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

Formal Verification of Variational Quantum Circuits
by: Assolini, Nicola, et al.
Published: (2025)

Distribution and Clusters Approximations as Abstract Domains in Probabilistic Abstract Interpretation to Neural Network Analysis
by: Zhang, Zhuofan, et al.
Published: (2026)

Probabilistic Abstract Interpretation on Neural Networks via Grids Approximation
by: Zhang, Zhuofan, et al.
Published: (2026)

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

Interpreting Neural Networks through Mahalanobis Distance
by: Oursland, Alan
Published: (2024)

Joint Learning of Hierarchical Neural Options and Abstract World Model
by: Piriyakulkij, Wasu Top, et al.
Published: (2026)

Kinship Verification through a Forest Neural Network
by: Nazari, Ali, et al.
Published: (2025)

Atherosclerosis through Hierarchical Explainable Neural Network Analysis
by: Adam, Irsyad, et al.
Published: (2025)

Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles
by: Parameshwaran, Aditya, et al.
Published: (2025)

Enhancing the Interpretability of Rule-based Explanations through Information Retrieval
by: Umbrico, Alessandro, et al.
Published: (2025)

Online inductive learning from answer sets for efficient reinforcement learning exploration
by: Veronese, Celeste, et al.
Published: (2025)

Learning Symbolic Persistent Macro-Actions for POMDP Solving Over Time
by: Veronese, Celeste, et al.
Published: (2025)

Sample-Efficient Neurosymbolic Deep Reinforcement Learning
by: Veronese, Celeste, et al.
Published: (2026)

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)

FAME: Formal Abstract Minimal Explanation for Neural Networks
by: Boumazouza, Ryma, et al.
Published: (2026)

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

Set-Based Training of Neural Barrier Certificates for Safety Verification of Dynamical Systems
by: Kranzlmüller, Miriam, et al.
Published: (2026)

Distributionally Robust Safety Verification of Neural Networks via Worst-Case CVaR
by: Kishida, Masako
Published: (2025)

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

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

Diverse Inference and Verification for Advanced Reasoning
by: Drori, Iddo, et al.
Published: (2025)

Advancing Interpretability in Text Classification through Prototype Learning
by: Wei, Bowen, et al.
Published: (2024)

Bridging Neural ODE and ResNet: A Formal Error Bound for Safety Verification
by: Sayed, Abdelrahman Sayed, et al.
Published: (2025)

Interpretable Hierarchical Concept Reasoning through Attention-Guided Graph Learning
by: Debot, David, et al.
Published: (2025)

On the Limits of Hierarchically Embedded Logic in Classical Neural Networks
by: Cochran, Bill
Published: (2025)

Verification of Neural Network Control Systems in Continuous Time
by: ArjomandBigdeli, Ali, et al.
Published: (2024)

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

Incompleteness of AI Safety Verification via Kolmogorov Complexity
by: Hasan, Munawar
Published: (2026)

Faithful Interpretation for Graph Neural Networks
by: Hu, Lijie, et al.
Published: (2024)

Relating-Up: Advancing Graph Neural Networks through Inter-Graph Relationships
by: Zou, Qi, et al.
Published: (2024)

Visual Attention Reasoning via Hierarchical Search and Self-Verification
by: Cai, Wei, et al.
Published: (2025)

Uncovering a Universal Abstract Algorithm for Modular Addition in Neural Networks
by: McCracken, Gavin, et al.
Published: (2025)

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