[PLDI'23] Incremental Verification of Neural Networks | ACM SIGPLAN | Podwise