Divyansh Pareek

Finding Input Characterizations for Output Properties in ReLU Neural Networks

2020 · arXiv (Cornell University)

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 complex architecture makes proving any formal guarantees about them difficult. Identifying …