Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2102.05289
Cited By
v1
v2 (latest)
Bayesian Inference with Certifiable Adversarial Robustness
10 February 2021
Matthew Wicker
Luca Laurenti
A. Patané
Zhoutong Chen
Zheng Zhang
Marta Z. Kwiatkowska
AAML
BDL
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Bayesian Inference with Certifiable Adversarial Robustness"
12 / 12 papers shown
Title
Support is All You Need for Certified VAE Training
Changming Xu
Debangshu Banerjee
Deepak Vasisht
Gagandeep Singh
AAML
70
0
0
16 Apr 2025
Rényi Neural Processes
Xuesong Wang
He Zhao
Edwin V. Bonilla
UQCV
BDL
110
0
0
25 May 2024
Individual Fairness in Bayesian Neural Networks
Alice Doherty
Matthew Wicker
Luca Laurenti
A. Patané
147
5
0
21 Apr 2023
Robust Explanation Constraints for Neural Networks
Matthew Wicker
Juyeon Heo
Luca Costabello
Adrian Weller
FAtt
63
18
0
16 Dec 2022
Bayesian Learning with Information Gain Provably Bounds Risk for a Robust Adversarial Defense
Bao Gia Doan
Ehsan Abbasnejad
Javen Qinfeng Shi
Damith Ranashinghe
AAML
OOD
87
8
0
05 Dec 2022
Robust Bayesian Learning for Reliable Wireless AI: Framework and Applications
Matteo Zecchin
Sangwoo Park
Osvaldo Simeone
Marios Kountouris
David Gesbert
78
15
0
01 Jul 2022
Safety Certification for Stochastic Systems via Neural Barrier Functions
Frederik Baymler Mathiesen
S. Calvert
Luca Laurenti
95
39
0
03 Jun 2022
Individual Fairness Guarantees for Neural Networks
Elias Benussi
A. Patané
Matthew Wicker
Luca Laurenti
Marta Kwiatkowska University of Oxford
68
22
0
11 May 2022
How Sampling Impacts the Robustness of Stochastic Neural Networks
Sina Daubener
Asja Fischer
SILM
AAML
55
1
0
22 Apr 2022
DeepAdversaries: Examining the Robustness of Deep Learning Models for Galaxy Morphology Classification
A. Ćiprijanović
Diana Kafkes
Gregory F. Snyder
F. Sánchez
G. Perdue
K. Pedro
Brian D. Nord
Sandeep Madireddy
Stefan M. Wild
AAML
91
17
0
28 Dec 2021
Adversarial Robustness Guarantees for Gaussian Processes
A. Patané
Arno Blaas
Luca Laurenti
L. Cardelli
Stephen J. Roberts
Marta Z. Kwiatkowska
GP
AAML
188
9
0
07 Apr 2021
Make Sure You're Unsure: A Framework for Verifying Probabilistic Specifications
Leonard Berrada
Sumanth Dathathri
Krishnamurthy Dvijotham
Robert Stanforth
Rudy Bunel
J. Uesato
Sven Gowal
M. P. Kumar
AAML
OOD
97
17
0
18 Feb 2021
1