ML Anthology

Adams, Steven

1 publications

ICML 2023 BNN-DP: Robustness Certification of Bayesian Neural Networks via Dynamic Programming Steven Adams, Andrea Patane, Morteza Lahijanian, Luca Laurenti