Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
2401.11627
Cited By
v1
v2 (latest)
Tight Verification of Probabilistic Robustness in Bayesian Neural Networks
International Conference on Artificial Intelligence and Statistics (AISTATS), 2024
21 January 2024
Ben Batten
Mehran Hosseini
A. Lomuscio
AAML
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Tight Verification of Probabilistic Robustness in Bayesian Neural Networks"
1 / 1 papers shown
Title
Solving Probabilistic Verification Problems of Neural Networks using Branch and Bound
David Boetius
Stefan Leue
Tobias Sutter
287
4
0
27 May 2024
1
