• Classified by Research Topic • Sorted by Date • Classified by Publication Type •
Solution-Aware Vs Global ReLU Selection: Partial MILP Strikes Back for DNN Verification.
Yuke Liao, Blaise Genest, Kuldeep S. Meel and Shaan Aryaman.
In Proceedings of International Symposium on Automated Technology for Verification and Analysis (ATVA), pp. 299–320, 2025.
(unavailable)
@inproceedings{LiaoGMA25ATVA,
title={Solution-Aware Vs Global ReLU Selection: Partial MILP Strikes Back for DNN Verification},
author={Liao, Yuke and Genest, Blaise and Meel, Kuldeep S. and Aryaman, Shaan},
booktitle=ATVA,
pages={299--320},
year={2025},
bib2html_rescat={Formal Methods 4 ML},
bib2html_pubtype={Refereed Conference},
bib2html_dl_pdf={https://arxiv.org/pdf/2507.23197},
}
Generated by bib2html.pl (written by Patrick Riley with layout from Sanjit A. Seshia ) on Mon Dec 01, 2025 18:50:36