PulseAugur
实时 23:00:17
实体 Neural Network Verification using Partial Multi-Neuron Relaxation

Neural Network Verification using Partial Multi-Neuron Relaxation

PulseAugur coverage of Neural Network Verification using Partial Multi-Neuron Relaxation — every cluster mentioning Neural Network Verification using Partial Multi-Neuron Relaxation across labs, papers, and developer communities, ranked by signal.

Show in brief
总计 · 30天
0
90 天内 1
发布 · 30天
0
90 天内 0
论文 · 30天
0
90 天内 1
层级分布 · 90 天
主题
最近 · 第 1/1 页 · 共 1 条
  1. RESEARCH · CL_58543 ·

    新方法通过部分多神经元松弛增强神经网络验证

    研究人员引入了一种称为部分多神经元松弛的新技术,用于验证神经网络。该方法旨在提高边界的紧密度与计算可扩展性之间的平衡,解决了现有单神经元和全多神经元松弛方法的局限性。通过选择性地将多神经元边界应用于一小部分神经元,该技术提供了一种更有效但仍然有效的方式来保证关键系统的安全属性。