Jan, 2024

基于训练过的神经网络的优化:放松行走

TL;DR此研究提出了一种基于全局和局部线性松弛的可扩展启发式方法,用于对训练后的神经网络模型进行建模和求解,具有与最先进的整数线性规划(MILP)求解器和之前的启发式方法相竞争,并且在输入、深度和神经元数量增加时能够产生更好的解。