TY  - RPRT
TI  - Solution-aware vs global ReLU selection: partial MILP strikes back for DNN verification
AU  - Yuke Liao
AU  - Blaise Genest
AU  - Kuldeep Meel
AU  - Shaan Aryaman
PY  - 2025
UR  - https://arxiv.org/abs/2507.23197
ID  - 2507.23197
ER  -