Luca Marzari
4 papers
· 2023–2026
· 2 conferences
· across top CS/AI conferences
Achievements
🌉
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)