Ben Batten

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 3

Top Topics

Prior Probabilities

Multilayer Perceptron

Top Venues

Publications

Ben Batten, Mehran Hosseini, Alessio Lomuscio
Tight Verification of Probabilistic Robustness in Bayesian Neural Networks. AISTATS (2024)
Ben Batten, Mehran Hosseini, Alessio Lomuscio
Tight Verification of Probabilistic Robustness in Bayesian Neural Networks. CoRR (2024)
Ben Batten, Panagiotis Kouvaros, Alessio Lomuscio, Yang Zheng
Efficient Neural Network Verification via Layer-based Semidefinite Relaxations and Linear Cuts. IJCAI (2021)