Talking with Verifiers: Automatic Specification Generation for Neural Network Verification

Yizhak Y. Elboher, Reuven Peleg, Zhouxing Shi +2

Neural network verification tools currently support only a narrow class of specifications, typically expressed as low-level constraints over raw inputs and outputs. This limitation…