Incremental Verification of Neural Networks

Published in PLDI, 2023

Recommended citation: Shubham Ugare, Debangshu Banerjee, Sasa Misailovic, and Gagandeep Singh, PLDI 2023. /files/ivan.pdf