Neural Network Verification with Proof Production

Omri Isac, Clark Barrett, Min Zhang +1

Deep neural networks (DNNs) are increasingly being employed in safety-critical systems, and there is an urgent need to guarantee their correctness. Consequently, the verification c…