arXiv eess.SY 系统与控制· Elias Khalife, Mazen Farhood, Pierre-Loic Garoche·2026-10-12 12:00· 2 天前精选AI 评分47

论文提出用于神经网络可达性分析的二次表征框架

Quadratic Characterizations for Reachability Analysis of Neural Networks

AI 导读

arXiv 论文提出一套构造标量关系经验证二次表征的框架：先用关系样本和外部样本点求解凸二次规划生成候选二次不等式，再用平方和证书在精确半代数描述或松弛多项式描述上做全局验证，得到可靠的过近似约束。

推荐理由

论文给出用凸二次规划与平方和证书构造经验证二次约束的流程，做神经网络可达性分析的工程师可借鉴其降低保守性的做法。