Optimization Over Trained Neural Networks: Taking a Relaxing Walk

Jiatai Tong, Junyang Cai, Thiago Serra

Besides training, mathematical optimization is also used in deep learning to model and solve formulations over trained neural networks for purposes such as verification, compressio…