Formal VerificationGeometric RobustnessHolder OptimisationNeural networksResearchRobustification Scalable Neural Network Geometric Robustness Validation via Hölder Optimisation Read More
Formal VerificationNeural networksResearchRobustification Verification of Neural Networks Against Convolutional Perturbations via Parameterised Kernels Read More
