An Abstraction-Based Framework for Neural Network Verification.

Yizhak Yisrael Elboher, Justin Gottschlich, Guy Katz

Browse the full CAV paper archive.