Luca Marzari
Scholar

Luca Marzari

Google Scholar ID: iGdATZsAAAAJ
PhD student in Computer Science, University of Verona
Neural Network VerificationProbabilistic MethodsExplainable AISafe DRL
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
247
 
H-index
9
 
i10-index
9
 
Publications
20
 
Co-authors
0
 
Contact
No contact links provided.
Publications
8 items
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
ModelVerification.jl: a Comprehensive Toolbox for Formally Verifying Deep Neural Networks
arXiv.org · 2024
Cited
0
Improving Policy Optimization via ε-Retrain
arXiv.org · 2024
Cited
2
Resume (English only)
Co-authors
0 total
Co-authors: 0 (list not available)