CheckINN: Wide Range Neural Network Verification in Imandra (Extended)

07/21/2022
by   Remi Desmartin, et al.
0

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 neural network verification in a larger verification cycle. However, neural network verification is difficult due to a wide range of verification properties of interest, each typically only amenable to verification in specialised solvers. In this paper, we show how Imandra, a functional programming language and a theorem prover originally designed for verification, validation and simulation of financial infrastructure can offer a holistic infrastructure for neural network verification. We develop a novel library CheckINN that formalises neural networks in Imandra, and covers different important facets of neural network verification.

READ FULL TEXT

page 4

page 6

research
05/19/2022

Neural Networks in Imandra: Matrix Representation as a Verification Choice

The demand for formal verification tools for neural networks has increas...
research
09/07/2023

NeuroCodeBench: a plain C neural network benchmark for software verification

Safety-critical systems with neural network components require strong gu...
research
02/10/2022

Vehicle: Interfacing Neural Network Verifiers with Interactive Theorem Provers

Verification of neural networks is currently a hot topic in automated th...
research
12/03/2020

Towards Repairing Neural Networks Correctly

Neural networks are increasingly applied to support decision making in s...
research
04/09/2019

Towards Safety Verification of Direct Perception Neural Networks

We study the problem of safety verification of direct perception neural ...
research
02/19/2019

Fast Neural Network Verification via Shadow Prices

To use neural networks in safety-critical settings it is paramount to pr...
research
11/01/2017

Piecewise Linear Neural Network verification: A comparative study

The success of Deep Learning and its potential use in many important saf...

Please sign up or login with your details

Forgot password? Click here to reset