训练混合单调神经网络以实现无需集合传播的形式化验证

研究人员提出一种通过单调子网络差值实现混合单调函数的新型神经网络架构，将紧致输出包络的计算简化为输入区间对角顶点的两次简单前向传递，无需复杂的集合传播。该方法在训练期间直接最小化包络大小，在回归和动力系统基准上包络大小可缩减至理论下界 0.5% 以内且不损失预测精度。