Liao, Y., Genest, B., Meel, K., & Aryaman, S. (2025). Solution-aware vs global ReLU selection: Partial MILP strikes back for DNN verification.
Citazione stile Chigago Style (17a edizione)Liao, Yuke, Blaise Genest, Kuldeep Meel, e Shaan Aryaman. Solution-aware Vs Global ReLU Selection: Partial MILP Strikes Back for DNN Verification. 2025.
Citatione MLA (9a ed.)Liao, Yuke, et al. Solution-aware Vs Global ReLU Selection: Partial MILP Strikes Back for DNN Verification. 2025.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.