4 papers
A Certified Proof Checker for Deep Neural Network Verification in Imandra
Remi Desmartin, Omri Isac, Grant Passmore +3
Recent advances in the verification of deep neural networks (DNNs) have opened the way for a broader usage of DNN verification technology in many application areas, including safet…
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…
CheckINN: Wide Range Neural Network Verification in Imandra (Extended)
Remi Desmartin, Grant Passmore, Ekaterina Komendantskaya +1
Neural networks are increasingly relied upon as components of complex safety-critical systems such as autonomous vehicles. There is high demand for tools and methods that embed neu…
Neural Networks in Imandra: Matrix Representation as a Verification Choice
Remi Desmartin, Grant Passmore, Ekaterina Komendantskaya
The demand for formal verification tools for neural networks has increased as neural networks have been deployed in a growing number of safety-critical applications. Matrices are a…