Patane, Andrea

12 publications

AISTATS 2025 Certifiably Quantisation-Robust Training and Inference of Neural Networks Hue Dang, Matthew Robert Wicker, Goetz Botterweck, Andrea Patane

AISTATS 2025 Stochastic Weight Sharing for Bayesian Neural Networks Moule Lin, Shuhao Guan, Weipeng Jing, Goetz Botterweck, Andrea Patane

ICML 2023 BNN-DP: Robustness Certification of Bayesian Neural Networks via Dynamic Programming Steven Adams, Andrea Patane, Morteza Lahijanian, Luca Laurenti

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

IJCAI 2022 Individual Fairness Guarantees for Neural Networks Elias Benussi, Andrea Patanè, Matthew Wicker, Luca Laurenti, Marta Kwiatkowska

AISTATS 2021 Bayesian Inference with Certifiable Adversarial Robustness Matthew Wicker, Luca Laurenti, Andrea Patane, Zhuotong Chen, Zheng Zhang, Marta Kwiatkowska

UAI 2021 Certification of Iterative Predictions in Bayesian Neural Networks Matthew Wicker, Luca Laurenti, Andrea Patane, Nicola Paoletti, Alessandro Abate, Marta Kwiatkowska

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

UAI 2020 Probabilistic Safety for Bayesian Neural Networks Matthew Wicker, Luca Laurenti, Andrea Patane, Marta Kwiatkowska

NeurIPS 2020 Robustness of Bayesian Neural Networks to Gradient-Based Attacks Ginevra Carbone, Matthew Wicker, Luca Laurenti, Andrea Patane', Luca Bortolussi, Guido Sanguinetti

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