实体
Marabou
Marabou
PulseAugur coverage of Marabou — every cluster mentioning Marabou across labs, papers, and developer communities, ranked by signal.
总计 · 30天
1
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 2
层级分布 · 90 天
主题
情绪 · 30 天
1 天有情绪数据
最近 · 第 1/1 页 · 共 2 条
-
新的前瞻策略提高了神经网络验证效率
研究人员开发了一种新的神经网络验证前瞻分支策略，旨在提高现有分支定界验证器的效率和有效性。该策略可以集成到当前的验证方法中，并已被证明可以生成加速验证过程的附加引理。当在 Marabou 和 alpha_beta-CROWN 等最先进的验证器中实现时，前瞻方法一致地减少了验证时间，并将已解决实例的数量增加了多达 57%。
-
新方法通过部分多神经元松弛增强神经网络验证
研究人员引入了一种称为部分多神经元松弛的新技术，用于验证神经网络。该方法旨在提高边界的紧密度与计算可扩展性之间的平衡，解决了现有单神经元和全多神经元松弛方法的局限性。通过选择性地将多神经元边界应用于一小部分神经元，该技术提供了一种更有效但仍然有效的方式来保证关键系统的安全属性。