Global optimization of objective functions represented by ReLU networks

Christopher A. Strong, Haoze Wu 0001, Aleksandar Zeljic, Kyle D. Julian, Guy Katz, Clark W. Barrett, Mykel J. Kochenderfer. Global optimization of objective functions represented by ReLU networks. Machine Learning, 112(10):3685-3712, October 2023. [doi]

@article{StrongWZJKBK23,
  title = {Global optimization of objective functions represented by ReLU networks},
  author = {Christopher A. Strong and Haoze Wu 0001 and Aleksandar Zeljic and Kyle D. Julian and Guy Katz and Clark W. Barrett and Mykel J. Kochenderfer},
  year = {2023},
  month = {October},
  doi = {10.1007/s10994-021-06050-2},
  url = {https://doi.org/10.1007/s10994-021-06050-2},
  researchr = {https://researchr.org/publication/StrongWZJKBK23},
  cites = {0},
  citedby = {0},
  journal = {Machine Learning},
  volume = {112},
  number = {10},
  pages = {3685-3712},
}