TY - RPRT TI - Optimization over Trained Neural Networks: Going Large with Gradient-Based Algorithms AU - Jiatai Tong AU - Yilin Zhu AU - Thiago Serra AU - Samuel Burer PY - 2026 UR - https://arxiv.org/abs/2512.24295 ID - 2512.24295 ER -