Training Safe Neural Networks with Global SDP Bounds

Roman Soletskyi, David "davidad" Dalrymple

This paper presents a novel approach to training neural networks with formal safety guarantees using semidefinite programming (SDP) for verification. Our method focuses on verifyin…