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]
Abstract is missing.