Incremental Neural Network Verification via Learned Conflicts

Published in The 26th International Conference on Formal Methods in Computer-Aided Design (FMCAD'26), 2026