Resource hub

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

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

My First 30 Days as a Developer Evangelist at Safe Intelligence

AI Quality and Safety at the AI Engineer Summit

Safe Intelligence News

Scaling AI through more powerful validation and robustness