Batten, Ben

3 publications

CVPRW 2025 Improving Weather-Based OOD Generalisation in LiDAR-Based Object Detection Models via Adversarial Training Ben Batten, Alessio Lomuscio

AISTATS 2024 Tight Verification of Probabilistic Robustness in Bayesian Neural Networks Ben Batten, Mehran Hosseini, Alessio Lomuscio

IJCAI 2021 Efficient Neural Network Verification via Layer-Based Semidefinite Relaxations and Linear Cuts Ben Batten, Panagiotis Kouvaros, Alessio Lomuscio, Yang Zheng