PulseAugur
中
实时 12:35:25
实体 Quadratic constraints

Quadratic constraints

PulseAugur coverage of Quadratic constraints — every cluster mentioning Quadratic constraints across labs, papers, and developer communities, ranked by signal.

Show in brief
总计 · 30天
1
90 天内 1
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
主题
情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条
  1. TOOL · CL_294677 ·

    新框架为神经网络分析提供经过验证的二次表征

    研究人员开发了一个新框架，用于创建神经网络内标量关系的经过验证的二次表征。该方法使用凸二次规划生成候选不等式，然后使用平方和证书进行验证。所得约束提供了标量关系的可靠过近似，并可集成到前馈神经网络的可达性和安全性分析的现有分析框架中。这种方法旨在减少分析中的保守性，特别是对于 ReLU 网络，并且在神经网络之外也有应用。