Luca Marzari
4 papers · 2023–2026 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🌍
Conference Polyglot
(2)
🐝
Cross-Pollinator
(10)
Conferences
AAAI (2)
IJCAI (2)
Top co-authors
Keywords
neural network verification
(3)
formal verification
(2)
autonomous driving
(1)
explainable ai
(1)
machine learning
(1)
bootstrap method
(1)
counterfactual explanation
(1)
random forest
(1)
safety-critical system
(1)
probabilistic counting
(1)
probabilistic guarantee
(1)
statistical guarantee
(1)
reachable set
(1)
reachable set analysis
(1)
safe region enumeration
(1)
safe region
(1)
learning theory
(1)
preimage bound
(1)
adversarial robustness
(1)
Papers
On the Probabilistic Learnability of Compact Neural Network Preimage Bounds
AAAI 2026
RobustX: Robust Counterfactual Explanations Made Easy
IJCAI 2025
Enumerating Safe Regions in Deep Neural Networks with Provable Probabilistic Guarantees
AAAI 2024
The #DNN-Verification Problem: Counting Unsafe Inputs for Deep Neural Networks
IJCAI 2023