arXiv:2306.10742 [cs.LG]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords bayesian neural networks, robustness certification, dynamic programming, prediction range, bnn-dp outperforms state-of-the-art methods Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset