Resource hub

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

Formal Verification Geometric Robustness Holder Optimisation Neural networks Research Robustification

Scalable Neural Network Geometric Robustness Validation via Hölder Optimisation

Neural network (NN) verification methods provide local robustness guarantees for a NN in the dense perturbation space of an input.

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

Safe Intelligence News

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