Towards a Certified Proof Checker for Deep Neural Network Verification

Remi Desmartin, Omri Isac, Grant Passmore +3

Recent developments in deep neural networks (DNNs) have led to their adoption in safety-critical systems, which in turn has heightened the need for guaranteeing their safety. These…