@inproceedings{isac2026picid,
 title={{PICID}: Proof-Driven Clause Learning in Neural Network Verification},
 author={Isac, Omri and Refaeli, Idan and Wu, Haoze and Barrett, Clark and Katz, Guy},
 booktitle={Formal Methods in Computer-Aided Design (FMCAD)},
 year={2026}
}