Steven Adams, Andrea Patane, Morteza Lahijanian, Luca Laurenti. BNN-DP: Robustness Certification of Bayesian Neural Networks via Dynamic Programming. In Andreas Krause 0001, Emma Brunskill, KyungHyun Cho, Barbara Engelhardt, Sivan Sabato, Jonathan Scarlett, editors, International Conference on Machine Learning, ICML 2023, 23-29 July 2023, Honolulu, Hawaii, USA. Volume 202 of Proceedings of Machine Learning Research, pages 133-151, PMLR, 2023. [doi]
Abstract is missing.