Solution-aware vs global ReLU selection: partial MILP strikes back for DNN verification. - Yuke Liao; Blaise Genest; Kuldeep Meel; Shaan Aryaman (CoRR, 2025)