related documents BNN-DP: Robustness Certification of Bayesian Neural Networks via Dynamic Programming Conference Proceeding Proper Losses for Discrete Generative Models Conference Proceeding
