本研究提出了一种新颖的神经网络训练方法，结合混合区域可达性分析和混合整数线性规划的梯度信息，解决安全关键应用中输出约束执行困难的问题。该方法的计算复杂度与线性规划相当，显著提高了训练效率。

Provably Safe Neural Network Training Based on Hybrid Zonotope Reachability Analysis
BriefGPT - AI 论文速递
BriefGPT - AI 论文速递 ·
👤 个人中心
在公众号发送验证码完成验证