2 ms·Proving that safety-critical neural networks do what they're supposed to2 points by scribu 9y ago