Resource hub

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

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

Formal Verification Geometric Robustness Holder Optimisation Neural networks Research Robustification

Scalable Neural Network Geometric Robustness Validation via Hölder Optimisation

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)

Safe Intelligence News

Scaling AI through more powerful validation and robustness

Safe Intelligence News

Safe Intelligence Raises £4M To Deliver Advanced Validation for Reliable AI