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...

Podrobná bibliografie
Hlavní autoři:	Wicker, M, Laurenti, L, Patane, A, Kwiatkowska, M
Médium:	Conference item
Jazyk:	English
Vydáno:	Journal of Machine Learning Research 2020

Podobné jednotky

Probabilistic reach-avoid for Bayesian neural networks
Autor: Wicker, M, a další
Vydáno: (2024)

Adversarial robustness certification for Bayesian neural networks
Autor: Wicker, M, a další
Vydáno: (2024)

Statistical guarantees for the robustness of Bayesian neural networks
Autor: Cardelli, L, a další
Vydáno: (2019)

Certification of iterative predictions in Bayesian neural networks
Autor: Wicker, M, a další
Vydáno: (2021)

Robustness of Bayesian neural networks to gradient-based attacks
Autor: Carbone, G, a další
Vydáno: (2020)

Individual fairness guarantees for neural networks
Autor: Benussi, E, a další
Vydáno: (2022)

Bayesian inference with certifiable adversarial robustness
Autor: Wicker, M, a další
Vydáno: (2021)

Robustness guarantees for Bayesian inference with Gaussian processes
Autor: Cardelli, L, a další
Vydáno: (2019)

Adversarial robustness of Bayesian neural networks
Autor: Wicker, M
Vydáno: (2021)

Feature-guided black-box safety testing of deep neural networks
Autor: Wicker, M, a další
Vydáno: (2018)

Approximation of probabilistic reachability for chemical reaction networks using the linear noise approximation
Autor: Kwiatkowska, M, a další
Vydáno: (2016)

Robustness guarantees for credal Bayesian networks via constraint relaxation over probabilistic circuits
Autor: Wijk, H, a další
Vydáno: (2022)

Probabilistic Bayesian Neural Networks for olive phenology prediction in precision agriculture
Autor: A. Nappa, a další
Vydáno: (2024-09-01)

Calibrating the classifier: siamese neural network architecture for end-to-end arousal recognition from ECG
Autor: Patane, A, a další
Vydáno: (2019)

Explaining Probabilistic Bayesian Neural Networks for Cybersecurity Intrusion Detection
Autor: Tengfei Yang, a další
Vydáno: (2024-01-01)

Safety guarantees for iterative predictions with Gaussian Processes
Autor: Polymenakos, K, a další
Vydáno: (2021)

Probabilistic prediction of wind power based on improved Bayesian neural network
Autor: Zhiguang Deng, a další
Vydáno: (2024-01-01)

Robustness guarantees for Bayesian neural networks (invited extended abstract of a keynote speaker)
Autor: Kwiatkowska, M
Vydáno: (2022)

Automated recognition of sleep arousal using multimodal and personalized deep ensembles of neural networks
Autor: Patane, A, a další
Vydáno: (2019)

Probabilistic graphical models : bayesian networks
Autor: Chan, Xiang Yun
Vydáno: (2021)

Probabilistic Prognosis with Dynamic Bayesian Networks
Autor: Gregory Bartram, a další
Vydáno: (2015-12-01)

Safety verification for deep neural networks with provable guarantees
Autor: Kwiatkowska, M
Vydáno: (2019)

A probabilistic forecast for multi-year ENSO using Bayesian convolutional neural network
Autor: P Sreeraj, a další
Vydáno: (2024-01-01)

Safety verification of deep neural networks
Autor: Huang, X, a další
Vydáno: (2017)

Optimisation and Calibration of Bayesian Neural Network for Probabilistic Prediction of Biogas Performance in an Anaerobic Lagoon
Autor: Benjamin Steven Vien, a další
Vydáno: (2024-04-01)

Bayesian neural networks using magnetic tunnel junction-based probabilistic in-memory computing
Autor: Samuel Liu, a další
Vydáno: (2022-10-01)

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

Existential rules and Bayesian networks for probabilistic ontological data exchange
Autor: Lukasiewicz, T, a další
Vydáno: (2015)

Synthetic data generation with probabilistic Bayesian Networks
Autor: Grigoriy Gogoshin, a další
Vydáno: (2021-10-01)

Probabilistic methods for bioinformatics : with an introduction to bayesian networks /
Autor: 415180 Neapolitan, Richard E.
Vydáno: (2009)

A novel liver tumor classification using improved probabilistic neural networks with Bayesian optimization
Autor: Srinivas Kolli, a další
Vydáno: (2024-06-01)

Probabilistic neural transfer function estimation with Bayesian system identification.
Autor: Nan Wu, a další
Vydáno: (2024-07-01)

Probabilistic Seismic Response Prediction of Three-Dimensional Structures Based on Bayesian Convolutional Neural Network
Autor: Tianyu Wang, a další
Vydáno: (2022-05-01)

Erratum: Bayesian neural networks using magnetic tunnel junction-based probabilistic in-memory computing
Autor: Frontiers Production Office
Vydáno: (2022-12-01)

A game-based approximate verification of deep neural networks with provable guarantees
Autor: Wu, M, a další
Vydáno: (2019)

Bayesian Optimization for Probabilistic Programs
Autor: Rainforth, T, a další
Vydáno: (2016)

Solving inference problems of Bayesian networks by probabilistic computing
Autor: Seokmin Hong
Vydáno: (2023-07-01)

Adversarial robustness guarantees for classification with Gaussian Processes
Autor: Blaas, A, a další
Vydáno: (2020)

Adversarial robustness guarantees for Gaussian processes
Autor: Patane, A, a další
Vydáno: (2022)

Retrieval of Water Quality Parameters from Hyperspectral Images Using Hybrid Bayesian Probabilistic Neural Network
Autor: Yishan Zhang, a další
Vydáno: (2020-05-01)