Skip to content
conftrace_

gradient-based verification

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

probabilistic robustness (1) robustness guarantee (1) mixed integer linear programming (1) bayesian neural network (1) neural network verification (1) adversarial robustness (1)

Papers

Tight Verification of Probabilistic Robustness in Bayesian Neural Networks AISTATS 2024