Ben Batten
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2021–2025
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CVPR | Improving Weather-based OOD Generalisation in Lidar-based Object Detection Models via Adversarial Training. | Ben Batten, Alessio Lomuscio |
| 2024 | AISTATS | Tight Verification of Probabilistic Robustness in Bayesian Neural Networks. | Ben Batten, Mehran Hosseini, Alessio Lomuscio |
| 2024 | ECAI | Verification of Geometric Robustness of Neural Networks via Piecewise Linear Approximation and Lipschitz Optimisation. | Ben Batten, Yang Zheng, Alessandro De Palma, Panagiotis Kouvaros, Alessio Lomuscio |
| 2021 | IJCAI | Efficient Neural Network Verification via Layer-based Semidefinite Relaxations and Linear Cuts. | Ben Batten, Panagiotis Kouvaros, Alessio Lomuscio, Yang Zheng |