Probabilistic safety for bayesian neural networks

Probabilistic safety for bayesian neural networks

We study probabilistic safety for Bayesian Neural Networks (BNNs) under adversarial input perturbations. Given a compact set of input points, T ⊆ R m, we study the probability w.r.t. the BNN posterior that all the points in T are mapped to the same region S in the output space. In particular, this c...

Bibliografski detalji
Glavni autori:	Wicker, M, Laurenti, L, Patane, A, Kwiatkowska, M
Format:	Conference item
Jezik:	English
Izdano:	Journal of Machine Learning Research 2020

Slični predmeti

Probabilistic reach-avoid for Bayesian neural networks
od: Wicker, M, i dr.
Izdano: (2024)

Adversarial robustness certification for Bayesian neural networks
od: Wicker, M, i dr.
Izdano: (2024)

Statistical guarantees for the robustness of Bayesian neural networks
od: Cardelli, L, i dr.
Izdano: (2019)

Certification of iterative predictions in Bayesian neural networks
od: Wicker, M, i dr.
Izdano: (2021)

Robustness of Bayesian neural networks to gradient-based attacks
od: Carbone, G, i dr.
Izdano: (2020)

Individual fairness guarantees for neural networks
od: Benussi, E, i dr.
Izdano: (2022)

Bayesian inference with certifiable adversarial robustness
od: Wicker, M, i dr.
Izdano: (2021)

Robustness guarantees for Bayesian inference with Gaussian processes
od: Cardelli, L, i dr.
Izdano: (2019)

Adversarial robustness of Bayesian neural networks
od: Wicker, M
Izdano: (2021)

Feature-guided black-box safety testing of deep neural networks
od: Wicker, M, i dr.
Izdano: (2018)

Approximation of probabilistic reachability for chemical reaction networks using the linear noise approximation
od: Kwiatkowska, M, i dr.
Izdano: (2016)

Robustness guarantees for credal Bayesian networks via constraint relaxation over probabilistic circuits
od: Wijk, H, i dr.
Izdano: (2022)

Probabilistic Bayesian Neural Networks for olive phenology prediction in precision agriculture
od: A. Nappa, i dr.
Izdano: (2024-09-01)

Calibrating the classifier: siamese neural network architecture for end-to-end arousal recognition from ECG
od: Patane, A, i dr.
Izdano: (2019)

Explaining Probabilistic Bayesian Neural Networks for Cybersecurity Intrusion Detection
od: Tengfei Yang, i dr.
Izdano: (2024-01-01)

Safety guarantees for iterative predictions with Gaussian Processes
od: Polymenakos, K, i dr.
Izdano: (2021)

Probabilistic prediction of wind power based on improved Bayesian neural network
od: Zhiguang Deng, i dr.
Izdano: (2024-01-01)

Robustness guarantees for Bayesian neural networks (invited extended abstract of a keynote speaker)
od: Kwiatkowska, M
Izdano: (2022)

Automated recognition of sleep arousal using multimodal and personalized deep ensembles of neural networks
od: Patane, A, i dr.
Izdano: (2019)

Probabilistic graphical models : bayesian networks
od: Chan, Xiang Yun
Izdano: (2021)

Probabilistic Prognosis with Dynamic Bayesian Networks
od: Gregory Bartram, i dr.
Izdano: (2015-12-01)

Safety verification for deep neural networks with provable guarantees
od: Kwiatkowska, M
Izdano: (2019)

A probabilistic forecast for multi-year ENSO using Bayesian convolutional neural network
od: P Sreeraj, i dr.
Izdano: (2024-01-01)

Safety verification of deep neural networks
od: Huang, X, i dr.
Izdano: (2017)

Optimisation and Calibration of Bayesian Neural Network for Probabilistic Prediction of Biogas Performance in an Anaerobic Lagoon
od: Benjamin Steven Vien, i dr.
Izdano: (2024-04-01)

Bayesian neural networks using magnetic tunnel junction-based probabilistic in-memory computing
od: Samuel Liu, i dr.
Izdano: (2022-10-01)

Comparative numerical analysis of Bayesian decision rule and probabilistic neural network for pattern recognition
od: V. S. Mukha
Izdano: (2021-11-01)

Existential rules and Bayesian networks for probabilistic ontological data exchange
od: Lukasiewicz, T, i dr.
Izdano: (2015)

Synthetic data generation with probabilistic Bayesian Networks
od: Grigoriy Gogoshin, i dr.
Izdano: (2021-10-01)

Probabilistic methods for bioinformatics : with an introduction to bayesian networks /
od: 415180 Neapolitan, Richard E.
Izdano: (2009)

A novel liver tumor classification using improved probabilistic neural networks with Bayesian optimization
od: Srinivas Kolli, i dr.
Izdano: (2024-06-01)

Probabilistic neural transfer function estimation with Bayesian system identification.
od: Nan Wu, i dr.
Izdano: (2024-07-01)

Probabilistic Seismic Response Prediction of Three-Dimensional Structures Based on Bayesian Convolutional Neural Network
od: Tianyu Wang, i dr.
Izdano: (2022-05-01)

Erratum: Bayesian neural networks using magnetic tunnel junction-based probabilistic in-memory computing
od: Frontiers Production Office
Izdano: (2022-12-01)

A game-based approximate verification of deep neural networks with provable guarantees
od: Wu, M, i dr.
Izdano: (2019)

Bayesian Optimization for Probabilistic Programs
od: Rainforth, T, i dr.
Izdano: (2016)

Solving inference problems of Bayesian networks by probabilistic computing
od: Seokmin Hong
Izdano: (2023-07-01)

Adversarial robustness guarantees for classification with Gaussian Processes
od: Blaas, A, i dr.
Izdano: (2020)

Adversarial robustness guarantees for Gaussian processes
od: Patane, A, i dr.
Izdano: (2022)

Retrieval of Water Quality Parameters from Hyperspectral Images Using Hybrid Bayesian Probabilistic Neural Network
od: Yishan Zhang, i dr.
Izdano: (2020-05-01)