Proof Minimization in Neural Network Verification

Published in The 27th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'26), 2026