Solution-Aware Vs Global ReLU Selection: Partial MILP Strikes Back for DNN Verification.

Yuke Liao, Blaise Genest, Kuldeep S. Meel, Shaan Aryaman

Browse the full ATVA paper archive.