Ben Batten

According to our database, Ben Batten authored at least 3 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

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

Proceedings of the ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain, 2024

Tight Verification of Probabilistic Robustness in Bayesian Neural Networks.

Ben Batten, Mehran Hosseini, Alessio Lomuscio

Proceedings of the International Conference on Artificial Intelligence and Statistics, 2024

2021

Efficient Neural Network Verification via Layer-based Semidefinite Relaxations and Linear Cuts.

Ben Batten, Panagiotis Kouvaros, Alessio Lomuscio, Yang Zheng

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021