Resource hub

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

AI Strategy & Practice Conference: The work behind AI that works

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

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

AI Safety Needs Professional Standards and Continuous Validation

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

Building Trustworthy AI: Highlights from AAAI

We’re at NeurIPS 2025!

Formal Verification Geometric Robustness Holder Optimisation Neural networks Research Robustification

Scalable Neural Network Geometric Robustness Validation via Hölder Optimisation

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