Luca Marzari
4 papers · 2023–2026 · 2 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
🌍
Conference Polyglot · Bronze
Top co-authors
Research topics
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