cs.LG cs.AI cs.CV
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