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.

AI Strategy & Practice Conference: What it takes to put AI to work

AI Strategy & Practice Conference: Deployment perspectives from Hg, Bank of America, Primer and Slamcore

IoUCert: Robustness Verification for Anchor-based Object Detectors

The entrance to Malmö Arena hosting ECCV 2026

AI Strategy & Practice Conference: Four new speakers join the programme

AI Safety Needs Professional Standards and Continuous Validation

Why AI Agents Need Specification-Driven Testing

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