Finding Input Characterizations for Output Properties in ReLU Neural Networks

Saket Dingliwal, Divyansh Pareek, Jatin Arora

Deep Neural Networks (DNNs) have emerged as a powerful mechanism and are being increasingly deployed in real-world safety-critical domains. Despite the widespread success, their co…