Neural Network Verification using Residual Reasoning

Yizhak Yisrael Elboher, Elazar Cohen, Guy Katz

With the increasing integration of neural networks as components in mission-critical systems, there is an increasing need to ensure that they satisfy various safety and liveness re…