How to certify machine learning based safety-critical systems? A systematic literature review

F Tambon, G Laberge, L An, A Nikanjam… - Automated Software …, 2022 - Springer
Abstract Context Machine Learning (ML) has been at the heart of many innovations over the
past years. However, including it in so-called “safety-critical” systems such as automotive or …

Personalized federated learning with gaussian processes

I Achituve, A Shamsian, A Navon… - Advances in Neural …, 2021 - proceedings.neurips.cc
Federated learning aims to learn a global model that performs well on client devices with
limited cross-client communication. Personalized federated learning (PFL) further extends …

PACOH: Bayes-optimal meta-learning with PAC-guarantees

J Rothfuss, V Fortuin, M Josifoski… - … on Machine Learning, 2021 - proceedings.mlr.press
Meta-learning can successfully acquire useful inductive biases from data. Yet, its
generalization properties to unseen learning tasks are poorly understood. Particularly if the …

Scalable PAC-bayesian meta-learning via the PAC-optimal hyper-posterior: from theory to practice

J Rothfuss, M Josifoski, V Fortuin… - The Journal of Machine …, 2023 - dl.acm.org
Meta-Learning aims to speed up the learning process on new tasks by acquiring useful
inductive biases from datasets of related learning tasks. While, in practice, the number of …

A pac-bayes analysis of adversarial robustness

P Viallard, EG VIDOT, A Habrard… - Advances in Neural …, 2021 - proceedings.neurips.cc
We propose the first general PAC-Bayesian generalization bounds for adversarial
robustness, that estimate, at test time, how much a model will be invariant to imperceptible …

Consistent online gaussian process regression without the sample complexity bottleneck

A Koppel, H Pradhan, K Rajawat - Statistics and Computing, 2021 - Springer
Gaussian processes provide a framework for nonlinear nonparametric Bayesian inference
widely applicable across science and engineering. Unfortunately, their computational …

Bounding regression errors in data-driven power grid steady-state models

Y Liu, B Xu, A Botterud, N Zhang… - IEEE Transactions on …, 2020 - ieeexplore.ieee.org
Data-driven models analyze power grids under incomplete physical information, and their
accuracy has been mostly validated empirically using certain training and testing datasets …

Learning stochastic majority votes by minimizing a PAC-Bayes generalization bound

V Zantedeschi, P Viallard, E Morvant… - Advances in …, 2021 - proceedings.neurips.cc
We investigate a stochastic counterpart of majority votes over finite ensembles of classifiers,
and study its generalization properties. While our approach holds for arbitrary distributions …

PAC-Bayes bounds for bandit problems: A survey and experimental comparison

H Flynn, D Reeb, M Kandemir… - IEEE Transactions on …, 2023 - ieeexplore.ieee.org
PAC-Bayes has recently re-emerged as an effective theory with which one can derive
principled learning algorithms with tight performance guarantees. However, applications of …

Learning partially known stochastic dynamics with empirical PAC Bayes

M Haußmann, S Gerwinn, A Look… - International …, 2021 - proceedings.mlr.press
Abstract Neural Stochastic Differential Equations model a dynamical environment with
neural nets assigned to their drift and diffusion terms. The high expressive power of their …