基于混合区域可达性分析的可证明安全神经网络训练

本研究提出了一种新训练方法，解决神经网络在安全关键应用中的输出约束问题。该方法结合混合区域和梯度信息，快速避开非凸安全区域，计算复杂度与线性规划相当，显著提升训练效率。