Nicola Paoletti
7 papers
· 2019–2026
· 5 conferences
· across top CS/AI conferences
Achievements
π
Interdisciplinary Bridge
π§
Keyword Pioneer
π
Conference Polyglot
(4)
π
Academic Marathon
(6)
π
Cross-Pollinator
(13)
πΊοΈ
Taxonomy Completionist
(11)
Conferences
IJCAI (3)
AAAI (1)
CLEAR (1)
NIPS (1)
UAI (1)
Top co-authors
Keywords
deep reinforcement learning
(2)
uncertainty quantification
(2)
bayesian neural network
(2)
neural network
(2)
malware detection
(1)
local explanation
(1)
prediction set
(1)
neural network verification
(1)
adversarial example
(1)
perturbation set
(1)
probabilistic robustness
(1)
actor-critic architecture
(1)
negotiation strategy
(1)
concurrent negotiation
(1)
sample rejection
(1)
bound propagation
(1)
iterative prediction
(1)
bilateral negotiation
(1)
safety certification
(1)
statistical verification
(1)
Papers
Verifiably Robust Conformal Prediction
NIPS 2024