@inproceedings{elsaleh2026incremental,
 title={Incremental Neural Network Verification via Learned Conflicts},
 author={Elsaleh, Raya and Davis, Liam and Wu, Haoze and Katz, Guy},
 booktitle={Formal Methods in Computer-Aided Design (FMCAD)},
 year={2026}
}