Resource hub

Enjoy a broad range of Safe Intelligence blog and product info, academic papers and the Resilient x Design ML Substack community.

Formal Verification Geometric Robustness Holder Optimisation Neural networks Research Robustification

Scalable Neural Network Geometric Robustness Validation via Hölder Optimisation

Neural network (NN) verification methods provide local robustness guarantees for a NN in the dense perturbation space of an input.

Introducing Our New Free E-book on Enterprise AI Risk & Validation

AIEngineer Europe 2026: Launching /Spec27 and Talking Validation

Introducing Spec27: Spec-driven validation for AI applications and agents

NVIDIA GTC 2026: The Growing Need for AI Validation

Building Trustworthy AI: Highlights from AAAI

We’re at NeurIPS 2025!

AI Engineer Paris 2025 Recap – Through the Lens of Trustworthy AI

Events Formal Verification Neural networks Research SAIV Verification Verifier

Safe Intelligence in Zagreb: Our Highlights from the 2025 Symposium on AI Verification (SAIV)

Formal Verification Neural networks Research Verification Verifier

Dynamic Back-Substitution in Bound-Propagation-Based Neural Network Verification

Formal Verification Neural networks Research Robustification

Verification of Neural Networks Against Convolutional Perturbations via Parameterised Kernels