Andrea Patane | DeepAI

AI Chat

Featured Co-authors

Zheng Zhang
203 publications
Stephen Roberts
85 publications
Alessandro Abate
52 publications
Marta Kwiatkowska
51 publications
Luca Bortolussi
33 publications
Luca Laurenti
24 publications
Guido Sanguinetti
22 publications
Morteza Lahijanian
22 publications
Matthew Wicker
19 publications
Nicola Paoletti
16 publications
Luca Cardelli
12 publications

∙ 06/23/2023

Adversarial Robustness Certification for Bayesian Neural Networks

We study the problem of certifying the robustness of Bayesian neural net...

0 Matthew Wicker, et al. ∙

∙ 06/19/2023

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

In this paper, we introduce BNN-DP, an efficient algorithmic framework f...

0 Steven Adams, et al. ∙

∙ 04/21/2023

Individual Fairness in Bayesian Neural Networks

We study Individual Fairness (IF) for Bayesian neural networks (BNNs). S...

0 Alice Doherty, et al. ∙

∙ 07/13/2022

On the Robustness of Bayesian Neural Networks to Adversarial Attacks

Vulnerability to adversarial attacks is one of the principal hurdles to ...

0 Luca Bortolussi, et al. ∙

∙ 05/11/2022

Individual Fairness Guarantees for Neural Networks

We consider the problem of certifying the individual fairness (IF) of fe...

0 Elias Benussi, et al. ∙

∙ 05/21/2021

Certification of Iterative Predictions in Bayesian Neural Networks

We consider the problem of computing reach-avoid probabilities for itera...

7 Matthew Wicker, et al. ∙

∙ 04/07/2021

Adversarial Robustness Guarantees for Gaussian Processes

Gaussian processes (GPs) enable principled computation of model uncertai...

6 Andrea Patane, et al. ∙

∙ 02/10/2021

Bayesian Inference with Certifiable Adversarial Robustness

We consider adversarial training of deep neural networks through the len...

7 Matthew Wicker, et al. ∙

∙ 04/21/2020

Probabilistic Safety for Bayesian Neural Networks

We study probabilistic safety for Bayesian Neural Networks (BNNs) under ...

0 Matthew Wicker, et al. ∙

∙ 02/11/2020

Robustness of Bayesian Neural Networks to Gradient-Based Attacks

Vulnerability to adversarial attacks is one of the principal hurdles to ...

7 Ginevra Carbone, et al. ∙

∙ 11/29/2019

Safety Guarantees for Planning Based on Iterative Gaussian Processes

Gaussian Processes (GPs) are widely employed in control and learning bec...

13 Kyriakos Polymenakos, et al. ∙

∙ 05/28/2019

Robustness Quantification for Classification with Gaussian Processes

We consider Bayesian classification with Gaussian processes (GPs) and de...

0 Arno Blaas, et al. ∙

∙ 03/05/2019

Statistical Guarantees for the Robustness of Bayesian Neural Networks

We introduce a probabilistic robustness measure for Bayesian Neural Netw...

0 Luca Cardelli, et al. ∙

∙ 09/17/2018

Robustness Guarantees for Bayesian Inference with Gaussian Processes

Bayesian inference and Gaussian processes are widely used in application...

0 Luca Cardelli, et al. ∙

Are you a researcher?
Expose your work
to one of the largest
A.I. communities in the world