Input-Relational Verification of Deep Neural Networks

Debangshu Banerjee, Changming Xu, Gagandeep Singh. “Input-Relational Verification of Deep Neural Networks.” In Submission.