Resource hub
Enjoy a broad range of Safe Intelligence blog and product info, academic papers and the Resilient x Design ML Substack community.
Resources Hub
Dynamic Back-Substitution in Bound-Propagation-Based Neural Network Verification
Kouvaros, P., Brueckner, B., Henriksen, P., Lomuscio, A. (2025), Proceedings of the 39th AAAI Conference on Artificial Intelligence (AAAI25) Outcome Value The paper shows advances of state-of-the-art neural network verification by accelerating an algorithm which is used by most verification toolkits. This allows verifiers to scale to even large neural networks, aiding the certification of […]