Yizhak Y. Elboher, Reuven Peleg, Zhouxing Shi, Guy Katz, Jan K\v{r}et\'insk\'y

Talking with Verifiers: Automatic Specification Generation for Neural Network Verification

arXiv:2603.02235v1 Announce Type: new Abstract: Neural network verification tools currently support only a narrow class of specifications, typically expressed as low-level constraints over raw inputs …