Ben Batten

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

Collaborative distances:

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

2024

Tight Verification of Probabilistic Robustness in Bayesian Neural Networks.

Ben Batten, Mehran Hosseini, Alessio Lomuscio

CoRR, 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