Input Relational Verification of Deep Neural Networks

Published in PLDI, 2024

Recommended citation: Debangshu Banerjee, Changming Xu, and Gagandeep Singh, PLDI 2024. /files/raven.pdf