@InProceedings{Strong2022Zope,
    author = {Christopher A. Strong and Sydney M. Katz and Anthony Corso and Mykel J. Kochenderfer},
    booktitle = {NASA Formal Methods Symposium (NFM)},
    title = {{ZoPE}: {A} fast optimizer for {ReLU} networks with low-dimensional inputs},
    year = {2022},
    url = {https://arxiv.org/abs/2106.05325},
    doi = {https://doi-org.stanford.idm.oclc.org/10.1007/978-3-031-06773-0_16}
}

{"_id":"G8Ryv5R3Duv9k6PSe","bibbaseid":"strong-katz-corso-kochenderfer-zopeafastoptimizerforrelunetworkswithlowdimensionalinputs-2022","author_short":["Strong, C. A.","Katz, S. M.","Corso, A.","Kochenderfer, M. J."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Christopher","A."],"propositions":[],"lastnames":["Strong"],"suffixes":[]},{"firstnames":["Sydney","M."],"propositions":[],"lastnames":["Katz"],"suffixes":[]},{"firstnames":["Anthony"],"propositions":[],"lastnames":["Corso"],"suffixes":[]},{"firstnames":["Mykel","J."],"propositions":[],"lastnames":["Kochenderfer"],"suffixes":[]}],"booktitle":"NASA Formal Methods Symposium (NFM)","title":"ZoPE: A fast optimizer for ReLU networks with low-dimensional inputs","year":"2022","url":"https://arxiv.org/abs/2106.05325","doi":"https://doi-org.stanford.idm.oclc.org/10.1007/978-3-031-06773-0_16","bibtex":"@InProceedings{Strong2022Zope,\n author = {Christopher A. Strong and Sydney M. Katz and Anthony Corso and Mykel J. Kochenderfer},\n booktitle = {NASA Formal Methods Symposium (NFM)},\n title = {{ZoPE}: {A} fast optimizer for {ReLU} networks with low-dimensional inputs},\n year = {2022},\n url = {https://arxiv.org/abs/2106.05325},\n doi = {https://doi-org.stanford.idm.oclc.org/10.1007/978-3-031-06773-0_16}\n}\n\n","author_short":["Strong, C. A.","Katz, S. M.","Corso, A.","Kochenderfer, M. J."],"key":"Strong2022Zope","id":"Strong2022Zope","bibbaseid":"strong-katz-corso-kochenderfer-zopeafastoptimizerforrelunetworkswithlowdimensionalinputs-2022","role":"author","urls":{"Paper":"https://arxiv.org/abs/2106.05325"},"metadata":{"authorlinks":{}},"downloads":3,"html":""},"bibtype":"inproceedings","biburl":"https://ancorso.github.io/files/references.bib","dataSources":["TbX42SDTQr5unfHC4","Q5m4eREZKA5kKSYST","mSsYghgSmyfbF75po","L6He8KnRF8BusNwKm","bdnWRMC3puq7qTm42"],"keywords":[],"search_terms":["zope","fast","optimizer","relu","networks","low","dimensional","inputs","strong","katz","corso","kochenderfer"],"title":"ZoPE: A fast optimizer for ReLU networks with low-dimensional inputs","year":2022,"downloads":3}