Input-Relational Verification of Deep Neural Networks

Debangshu Banerjee, Changming Xu, Gagandeep Singh. “Input-Relational Verification of Deep Neural Networks.” PLDI ‘24.