Scholar
Luca Marzari
Google Scholar ID: iGdATZsAAAAJ
PhD student in Computer Science, University of Verona
Neural Network Verification
Probabilistic Methods
Explainable AI
Safe DRL
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
247
H-index
9
i10-index
9
Publications
20
Co-authors
0
Publications
10 items
Certifying Concept Unlearning in Text-to-Image Diffusion Models
2026
Cited
0
Probabilistic Verification of Recurrent Neural Networks for Single and Multi-Agent Reinforcement Learning
2026
Cited
0
On the Probabilistic Learnability of Compact Neural Network Preimage Bounds
2025
Cited
0
Formal Verification of Variational Quantum Circuits
2025
Cited
0
Probabilistically Tightened Linear Relaxation-based Perturbation Analysis for Neural Network Verification
2025
Cited
0
Advancing Neural Network Verification through Hierarchical Safety Abstract Interpretation
2025
Cited
0
Designing Control Barrier Function via Probabilistic Enumeration for Safe Reinforcement Learning Navigation
2025
Cited
0
RobustX: Robust Counterfactual Explanations Made Easy
2025
Cited
0
Load more
