Incremental Neural Network Verification via Learned Conflicts

Raya Elsaleh, Liam Davis, Haoze Wu +1

Neural network verification is often used as a core component within larger analysis procedures, which generate sequences of closely related verification queries over the same netw…