Copertina

Advancing Neural Network Verification through Hierarchical Safety Abstract Interpretation

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Marzari, Luca, Mastroeni, Isabella, Farinelli, Alessandro
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Artificial Intelligence
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

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

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

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

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

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

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

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

Interpreting Neural Networks through Mahalanobis Distance
di: Oursland, Alan
Pubblicazione: (2024)

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

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

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

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

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

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

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

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

Neural Network Verification with PyRAT
di: Lemesle, Augustin, et al.
Pubblicazione: (2024)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Incompleteness of AI Safety Verification via Kolmogorov Complexity
di: Hasan, Munawar
Pubblicazione: (2026)

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

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

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

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

Latent Communication in Artificial Neural Networks
di: Moschella, Luca
Pubblicazione: (2024)