Optimization over Trained (and Sparse) Neural Networks: A Surrogate within a Surrogate. - Hung Pham; Aiden Ren; Ibrahim Tahir; Jiatai Tong; Thiago Serra (CoRR, 2025)