Verified Relative Safety Margins for Neural Network Twins

Open in new window