research
∙
06/23/2023
Adversarial Robustness Certification for Bayesian Neural Networks
We study the problem of certifying the robustness of Bayesian neural net...
share
research
∙
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...
research
∙
04/21/2023
Individual Fairness in Bayesian Neural Networks
We study Individual Fairness (IF) for Bayesian neural networks (BNNs). S...
research
∙
07/13/2022
On the Robustness of Bayesian Neural Networks to Adversarial Attacks
Vulnerability to adversarial attacks is one of the principal hurdles to ...
research
∙
05/11/2022
Individual Fairness Guarantees for Neural Networks
We consider the problem of certifying the individual fairness (IF) of fe...
research
∙
05/21/2021
Certification of Iterative Predictions in Bayesian Neural Networks
We consider the problem of computing reach-avoid probabilities for itera...
research
∙
04/07/2021
Adversarial Robustness Guarantees for Gaussian Processes
Gaussian processes (GPs) enable principled computation of model uncertai...
research
∙
02/10/2021
Bayesian Inference with Certifiable Adversarial Robustness
We consider adversarial training of deep neural networks through the len...
research
∙
04/21/2020
Probabilistic Safety for Bayesian Neural Networks
We study probabilistic safety for Bayesian Neural Networks (BNNs) under ...
research
∙
02/11/2020
Robustness of Bayesian Neural Networks to Gradient-Based Attacks
Vulnerability to adversarial attacks is one of the principal hurdles to ...
research
∙
11/29/2019
Safety Guarantees for Planning Based on Iterative Gaussian Processes
Gaussian Processes (GPs) are widely employed in control and learning bec...
research
∙
05/28/2019
Robustness Quantification for Classification with Gaussian Processes
We consider Bayesian classification with Gaussian processes (GPs) and de...
research
∙
03/05/2019
Statistical Guarantees for the Robustness of Bayesian Neural Networks
We introduce a probabilistic robustness measure for Bayesian Neural Netw...
research
∙
09/17/2018