Risk-Averse Certification of Bayesian Neural NetworksShow others and affiliations
2026 (English)In: Dependable Software Engineering. Theories, Tools, and Applications - 11th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2025, Proceedings, Springer Nature , 2026, p. 299-317Conference paper, Published paper (Refereed)
Abstract [en]
In light of the inherently complex and dynamic nature of real-world environments, incorporating risk measures is crucial for the robustness evaluation of deep learning models. In this work, we propose a Risk-Averse Certification framework for Bayesian neural networks called RAC-BNN. Our method leverages sampling and optimisation to compute a probabilistically sound approximation of the output set of a BNN, represented using a set of template polytopes. To enhance risk-aware robustness evaluation, we integrate a coherent distortion risk measure–Conditional Value at Risk (CVaR)–into the certification framework, providing probabilistic guarantees based on empirical distributions obtained through sampling. We validate RAC-BNN on a range of regression and classification benchmarks and compare its performance with a state-of-the-art method. The results show that RAC-BNN effectively quantifies robustness under worst-performing risky scenarios, and achieves tighter certified bounds and higher efficiency in complex tasks.
Place, publisher, year, edition, pages
Springer Nature , 2026. p. 299-317
Keywords [en]
Bayesian neural networks, Probabilistic certification, Risk measure, Uncertainty
National Category
Computer Sciences Probability Theory and Statistics Computer Systems
Identifiers
URN: urn:nbn:se:kth:diva-383110DOI: 10.1007/978-981-95-7826-9_16Scopus ID: 2-s2.0-105039001491OAI: oai:DiVA.org:kth-383110DiVA, id: diva2:2068216
Conference
11th International Symposium on Dependable Software Engineering. Theories, Tools and Applications, SETTA 2025, Oxford, United Kingdom, Dec 1 2025 - Dec 3 2025
Note
Part of ISBN 9789819578252
QC 20260609
2026-06-092026-06-092026-06-09Bibliographically approved