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

Bibliografiset tiedot
Päätekijät:	Wicker, M, Laurenti, L, Patane, A, Kwiatkowska, M
Aineistotyyppi:	Conference item
Kieli:	English
Julkaistu:	Journal of Machine Learning Research 2020

Samankaltaisia teoksia

Probabilistic reach-avoid for Bayesian neural networks
Tekijä: Wicker, M, et al.
Julkaistu: (2024)

Adversarial robustness certification for Bayesian neural networks
Tekijä: Wicker, M, et al.
Julkaistu: (2024)

Statistical guarantees for the robustness of Bayesian neural networks
Tekijä: Cardelli, L, et al.
Julkaistu: (2019)

Certification of iterative predictions in Bayesian neural networks
Tekijä: Wicker, M, et al.
Julkaistu: (2021)

Robustness of Bayesian neural networks to gradient-based attacks
Tekijä: Carbone, G, et al.
Julkaistu: (2020)

Individual fairness guarantees for neural networks
Tekijä: Benussi, E, et al.
Julkaistu: (2022)

Bayesian inference with certifiable adversarial robustness
Tekijä: Wicker, M, et al.
Julkaistu: (2021)

Robustness guarantees for Bayesian inference with Gaussian processes
Tekijä: Cardelli, L, et al.
Julkaistu: (2019)

Adversarial robustness of Bayesian neural networks
Tekijä: Wicker, M
Julkaistu: (2021)

Feature-guided black-box safety testing of deep neural networks
Tekijä: Wicker, M, et al.
Julkaistu: (2018)

Approximation of probabilistic reachability for chemical reaction networks using the linear noise approximation
Tekijä: Kwiatkowska, M, et al.
Julkaistu: (2016)

Robustness guarantees for credal Bayesian networks via constraint relaxation over probabilistic circuits
Tekijä: Wijk, H, et al.
Julkaistu: (2022)

Probabilistic Bayesian Neural Networks for olive phenology prediction in precision agriculture
Tekijä: A. Nappa, et al.
Julkaistu: (2024-09-01)

Calibrating the classifier: siamese neural network architecture for end-to-end arousal recognition from ECG
Tekijä: Patane, A, et al.
Julkaistu: (2019)

Explaining Probabilistic Bayesian Neural Networks for Cybersecurity Intrusion Detection
Tekijä: Tengfei Yang, et al.
Julkaistu: (2024-01-01)

Safety guarantees for iterative predictions with Gaussian Processes
Tekijä: Polymenakos, K, et al.
Julkaistu: (2021)

Probabilistic prediction of wind power based on improved Bayesian neural network
Tekijä: Zhiguang Deng, et al.
Julkaistu: (2024-01-01)

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

Automated recognition of sleep arousal using multimodal and personalized deep ensembles of neural networks
Tekijä: Patane, A, et al.
Julkaistu: (2019)

Probabilistic graphical models : bayesian networks
Tekijä: Chan, Xiang Yun
Julkaistu: (2021)

Probabilistic Prognosis with Dynamic Bayesian Networks
Tekijä: Gregory Bartram, et al.
Julkaistu: (2015-12-01)

Safety verification for deep neural networks with provable guarantees
Tekijä: Kwiatkowska, M
Julkaistu: (2019)

A probabilistic forecast for multi-year ENSO using Bayesian convolutional neural network
Tekijä: P Sreeraj, et al.
Julkaistu: (2024-01-01)

Safety verification of deep neural networks
Tekijä: Huang, X, et al.
Julkaistu: (2017)

Optimisation and Calibration of Bayesian Neural Network for Probabilistic Prediction of Biogas Performance in an Anaerobic Lagoon
Tekijä: Benjamin Steven Vien, et al.
Julkaistu: (2024-04-01)

Bayesian neural networks using magnetic tunnel junction-based probabilistic in-memory computing
Tekijä: Samuel Liu, et al.
Julkaistu: (2022-10-01)

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

Existential rules and Bayesian networks for probabilistic ontological data exchange
Tekijä: Lukasiewicz, T, et al.
Julkaistu: (2015)

Synthetic data generation with probabilistic Bayesian Networks
Tekijä: Grigoriy Gogoshin, et al.
Julkaistu: (2021-10-01)

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

A novel liver tumor classification using improved probabilistic neural networks with Bayesian optimization
Tekijä: Srinivas Kolli, et al.
Julkaistu: (2024-06-01)

Probabilistic neural transfer function estimation with Bayesian system identification.
Tekijä: Nan Wu, et al.
Julkaistu: (2024-07-01)

Probabilistic Seismic Response Prediction of Three-Dimensional Structures Based on Bayesian Convolutional Neural Network
Tekijä: Tianyu Wang, et al.
Julkaistu: (2022-05-01)

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

A game-based approximate verification of deep neural networks with provable guarantees
Tekijä: Wu, M, et al.
Julkaistu: (2019)

Bayesian Optimization for Probabilistic Programs
Tekijä: Rainforth, T, et al.
Julkaistu: (2016)

Solving inference problems of Bayesian networks by probabilistic computing
Tekijä: Seokmin Hong
Julkaistu: (2023-07-01)

Adversarial robustness guarantees for classification with Gaussian Processes
Tekijä: Blaas, A, et al.
Julkaistu: (2020)

Adversarial robustness guarantees for Gaussian processes
Tekijä: Patane, A, et al.
Julkaistu: (2022)

Retrieval of Water Quality Parameters from Hyperspectral Images Using Hybrid Bayesian Probabilistic Neural Network
Tekijä: Yishan Zhang, et al.
Julkaistu: (2020-05-01)