TY - RPRT TI - Optimization over Trained (and Sparse) Neural Networks: A Surrogate within a Surrogate AU - Hung Pham AU - Aiden Ren AU - Ibrahim Tahir AU - Jiatai Tong AU - Thiago Serra PY - 2026 UR - https://arxiv.org/abs/2505.01985 ID - 2505.01985 ER -