arXiv cs.LG· Elias Khalife, Mazen Farhood, Pierre-Loic Garoche·· 7 小时前AI 评分17
神经网络可达性分析的二次型刻画方法
Quadratic Characterizations for Reachability Analysis of Neural Networks
AI 导读
该论文提出一个在二维实平面上构造标量关系已验证二次型刻画的框架，通过凸二次规划局部生成候选不等式，再用平方和证书全局验证，所得约束可直接嵌入基于二次约束的半定规划，用于前馈神经网络的可达性与安全性分析。
来源：arXiv cs.LG · arxiv.org