Proof Minimization in Neural Network Verification

Published in To appear at 27th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2026), 2026