Cardelli, Luca

4 publications

JMLR 2022 Adversarial Robustness Guarantees for Gaussian Processes Andrea Patane, Arno Blaas, Luca Laurenti, Luca Cardelli, Stephen Roberts, Marta Kwiatkowska

AISTATS 2020 Adversarial Robustness Guarantees for Classification with Gaussian Processes Arno Blaas, Andrea Patane, Luca Laurenti, Luca Cardelli, Marta Kwiatkowska, Stephen Roberts

AAAI 2019 Robustness Guarantees for Bayesian Inference with Gaussian Processes Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Andrea Patane

IJCAI 2019 Statistical Guarantees for the Robustness of Bayesian Neural Networks Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Nicola Paoletti, Andrea Patane, Matthew Wicker