Hung Pham, Aiden Ren, Ibrahim Tahir, Jiatai Tong, Thiago Serra. Optimization Over Trained (and Sparse) Neural Networks: A Surrogate Within a Surrogate. In Tias Guns, editor, Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 23rd International Conference, CPAIOR 2026, Rabat, Morocco, May 26-29, 2026, Proceedings. Volume 16595 of Lecture Notes in Computer Science, pages 421-442, Springer, 2026. [doi]
Abstract is missing.