2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.LG2024
Verification of Geometric Robustness of Neural Networks via Piecewise Linear Approximation and Lipschitz Optimisation
Ben Batten, Yang Zheng, Alessandro De Palma +2
We address the problem of verifying neural networks against geometric transformations of the input image, including rotation, scaling, shearing, and translation. The proposed metho…
cs.LG2024★ 2 cited
Tight Verification of Probabilistic Robustness in Bayesian Neural Networks
Ben Batten, Mehran Hosseini, Alessio Lomuscio
We introduce two algorithms for computing tight guarantees on the probabilistic robustness of Bayesian Neural Networks (BNNs). Computing robustness guarantees for BNNs is a signifi…