@COMMENT This file was generated by bib2html.pl <https://sourceforge.net/projects/bib2html/> version 0.94
@COMMENT written by Patrick Riley <http://sourceforge.net/users/patstg/>
@COMMENT This file came from Kuldeep S. Meel's publication pages at
@COMMENT http://www.comp.nus.edu.sg/~meel/publications/
@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},
}