Scalable Relational Verification and Training for Deep Neural Networks

Debangshu Banerjee, Changming Xu, Gagandeep Singh. “Scalable Relational Verification and Training for Deep Neural Networks.” SAIV ‘24.