Luca Cardelli
4 papers
· 2019–2022
· 4 conferences
· across top CS/AI conferences
Achievements
π
Interdisciplinary Bridge
π§
Keyword Pioneer
π
Conference Polyglot
(4)
π
Cross-Pollinator
(14)
πΊοΈ
Taxonomy Completionist
(11)
π
Conference Pioneer
Conferences
AAAI (1)
AISTATS (1)
IJCAI (1)
JMLR (1)
Top co-authors
Keywords
uncertainty quantification
(3)
adversarial robustness
(2)
gaussian process
(2)
branch and bound
(2)
adversarial example
(2)
interpretability analysis
(1)
posterior estimation
(1)
gaussian process classification
(1)
bayesian neural network
(1)
statistical verification
(1)
robustness verification
(1)
probabilistic robustness
(1)
robustness guarantee
(1)
classification probability
(1)
probabilistic guarantee
(1)
safety-critical application
(1)
bayesian inference
(1)
model uncertainty
(1)
prediction range
(1)