PICID: Proof-Driven Clause Learning in Neural Network Verification

Published in To Appear at the 26th International Conference on Formal Methods in Computer-Aided Design (FMCAD'26), 2026