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