@inproceedings{isac2026proof,
 title={Proof Minimization in Neural Network Verification},
 author={Isac, Omri and Refaeli, Idan and Wu, Haoze and Barrett, Clark and Katz, Guy},
 booktitle={International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI)},
 year={2026}
}