notesum.ai
Published at November 29Risk-Averse Certification of Bayesian Neural Networks
cs.LG
Released Date: November 29, 2024
Authors: Xiyue Zhang1, Zifan Wang2, Yulong Gao3, Licio Romao4, Alessandro Abate1, Marta Kwiatkowska1
Aff.: 1Department of Computer Science, University of Oxford, UK; 2Division of Decision and Control Systems, KTH Royal Institute of Technology, Sweden; 3Department of Electrical and Electronic Engineering, Imperial College London, UK; 4Department of Wind and Energy Systems, Technical University of Denmark, Denmark