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: What it takes to put AI to work

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

Building Trustworthy AI: Highlights from AAAI

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)