Verification of Neural Networks Against Convolutional Perturbations via Parameterised Kernels Brueckner, B., Lomuscio, A. (2025) Proceedings of the 39th AAAI Conference on Artificial Intelligence (AAAI25)

Verification of Neural Networks Against Convolutional Perturbations via Parameterised Kernels Brueckner, B., Lomuscio, A. (2025) Proceedings of the 39th AAAI Conference on Artificial Intelligence (AAAI25)

by | May 7, 2025 | Scientific Papers

Outcome Value   Ensuring the robustness of neural networks against real-world perturbations is critical for their safe deployment. Existing verification techniques struggle to efficiently handle convolutional perturbations due to loose bounding techniques and...
AI Quality and Safety at the AI Engineer Summit

AI Quality and Safety at the AI Engineer Summit

by | Mar 1, 2025 | Events

Every new wave of technology brings a new wave of conferences, summits, and meetups. AI is no different, and a dizzying array of new events has sprung up. One of the most interesting of these is the AI Engineer Summit series (and its counterpart, the AI Worlds Fair)....
Safe Intelligence
Powered by  GDPR Cookie Compliance
Privacy Overview

This website uses cookies so that we can provide you with the best user experience possible. Cookie information is stored in your browser and performs functions such as recognising you when you return to our website and helping our team to understand which sections of the website you find most interesting and useful.