神经网络可达性分析提出二次表征框架

Elias Khalife 等作者发表论文，提出一套构造已验证二次约束的框架，用于前馈神经网络的可达性与安全性分析。 该方法在二维实平面上求解凸二次规划生成候选不等式，再用平方和证书做全局验证；验证可在精确半代数描述或松弛多项式描述上进行。所得约束与基于二次约束及逐点积分二次约束的现有分析框架兼容，并可嵌入半正定规划使用。 论文未给出该框架相比现有方法的具体提升幅度或适用范围限制。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。