“Global Optimization of Objective Functions Represented by ReLU Networks” by Christopher A. Strong, Haoze Wu, Aleksandar Zeljic, Kyle D. Julian, Guy Katz, Clark Barrett, and Mykel J. Kochenderfer, 2020.

BibTeX entry:

@techreport{SWZ+20,
   author = {Christopher A. Strong and Haoze Wu and Aleksandar Zelji{\'c}
	and Kyle D. Julian and Guy Katz and Clark Barrett and Mykel J.
	Kochenderfer},
   title = {Global Optimization of Objective Functions Represented by
	{ReLU} Networks},
   year = {2020},
   url = {http://arxiv.org/abs/2010.03258}
}

(This webpage was created with bibtex2web.)