Alert button
Picture for Andrea Patane

Andrea Patane

Alert button

University of Oxford

Probabilistic Reach-Avoid for Bayesian Neural Networks

Oct 03, 2023
Matthew Wicker, Luca Laurenti, Andrea Patane, Nicola Paoletti, Alessandro Abate, Marta Kwiatkowska

Figure 1 for Probabilistic Reach-Avoid for Bayesian Neural Networks
Figure 2 for Probabilistic Reach-Avoid for Bayesian Neural Networks
Figure 3 for Probabilistic Reach-Avoid for Bayesian Neural Networks
Figure 4 for Probabilistic Reach-Avoid for Bayesian Neural Networks
Viaarxiv icon

Adversarial Robustness Certification for Bayesian Neural Networks

Jun 23, 2023
Matthew Wicker, Andrea Patane, Luca Laurenti, Marta Kwiatkowska

Figure 1 for Adversarial Robustness Certification for Bayesian Neural Networks
Figure 2 for Adversarial Robustness Certification for Bayesian Neural Networks
Figure 3 for Adversarial Robustness Certification for Bayesian Neural Networks
Figure 4 for Adversarial Robustness Certification for Bayesian Neural Networks
Viaarxiv icon

BNN-DP: Robustness Certification of Bayesian Neural Networks via Dynamic Programming

Jun 19, 2023
Steven Adams, Andrea Patane, Morteza Lahijanian, Luca Laurenti

Figure 1 for BNN-DP: Robustness Certification of Bayesian Neural Networks via Dynamic Programming
Figure 2 for BNN-DP: Robustness Certification of Bayesian Neural Networks via Dynamic Programming
Figure 3 for BNN-DP: Robustness Certification of Bayesian Neural Networks via Dynamic Programming
Figure 4 for BNN-DP: Robustness Certification of Bayesian Neural Networks via Dynamic Programming
Viaarxiv icon

Individual Fairness in Bayesian Neural Networks

Apr 21, 2023
Alice Doherty, Matthew Wicker, Luca Laurenti, Andrea Patane

Figure 1 for Individual Fairness in Bayesian Neural Networks
Figure 2 for Individual Fairness in Bayesian Neural Networks
Viaarxiv icon

On the Robustness of Bayesian Neural Networks to Adversarial Attacks

Jul 13, 2022
Luca Bortolussi, Ginevra Carbone, Luca Laurenti, Andrea Patane, Guido Sanguinetti, Matthew Wicker

Figure 1 for On the Robustness of Bayesian Neural Networks to Adversarial Attacks
Figure 2 for On the Robustness of Bayesian Neural Networks to Adversarial Attacks
Figure 3 for On the Robustness of Bayesian Neural Networks to Adversarial Attacks
Figure 4 for On the Robustness of Bayesian Neural Networks to Adversarial Attacks
Viaarxiv icon

Individual Fairness Guarantees for Neural Networks

May 11, 2022
Elias Benussi, Andrea Patane, Matthew Wicker, Luca Laurenti, Marta Kwiatkowska

Figure 1 for Individual Fairness Guarantees for Neural Networks
Figure 2 for Individual Fairness Guarantees for Neural Networks
Figure 3 for Individual Fairness Guarantees for Neural Networks
Figure 4 for Individual Fairness Guarantees for Neural Networks
Viaarxiv icon

Certification of Iterative Predictions in Bayesian Neural Networks

May 21, 2021
Matthew Wicker, Luca Laurenti, Andrea Patane, Nicola Paoletti, Alessandro Abate, Marta Kwiatkowska

Figure 1 for Certification of Iterative Predictions in Bayesian Neural Networks
Figure 2 for Certification of Iterative Predictions in Bayesian Neural Networks
Figure 3 for Certification of Iterative Predictions in Bayesian Neural Networks
Figure 4 for Certification of Iterative Predictions in Bayesian Neural Networks
Viaarxiv icon

Adversarial Robustness Guarantees for Gaussian Processes

Apr 07, 2021
Andrea Patane, Arno Blaas, Luca Laurenti, Luca Cardelli, Stephen Roberts, Marta Kwiatkowska

Figure 1 for Adversarial Robustness Guarantees for Gaussian Processes
Figure 2 for Adversarial Robustness Guarantees for Gaussian Processes
Figure 3 for Adversarial Robustness Guarantees for Gaussian Processes
Figure 4 for Adversarial Robustness Guarantees for Gaussian Processes
Viaarxiv icon

Bayesian Inference with Certifiable Adversarial Robustness

Feb 23, 2021
Matthew Wicker, Luca Laurenti, Andrea Patane, Zhoutong Chen, Zheng Zhang, Marta Kwiatkowska

Figure 1 for Bayesian Inference with Certifiable Adversarial Robustness
Figure 2 for Bayesian Inference with Certifiable Adversarial Robustness
Figure 3 for Bayesian Inference with Certifiable Adversarial Robustness
Figure 4 for Bayesian Inference with Certifiable Adversarial Robustness
Viaarxiv icon