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…