An Abstraction-Based Framework for Neural Network Verification

Yizhak Yisrael Elboher, Justin Gottschlich, Guy Katz

Deep neural networks are increasingly being used as controllers for safety-critical systems. Because neural networks are opaque, certifying their correctness is a significant chall…