Scalable Neural Network Geometric Robustness Validation via Hölder Optimisation - Zhang, Yanghao; Kouvaros, Panagiotis; Lomuscio, Alessio (Advances in Neural Information Processing Systems, 2025)