实体 Wenxin Li

Wenxin Li

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

总计 · 30天

1

90 天内 1

发布 · 30天

0

90 天内 0

论文 · 30天

1

90 天内 1

层级分布 · 90 天

主题

情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条

TOOL · CL_167505 · Jul 28 · 04:00

新框架为神经网络鲁棒性提供精确验证

研究人员开发了一个新的框架，用于验证神经网络的鲁棒性，特别是那些具有分段线性（piecewise-linear）和一般有界逐元素激活（bounded element-wise activations）的神经网络。精确对数分段线性模型（Exact Logarithmic PWL Model, Log-PWL）通过最小化二元变量，为分段线性网络提供精确且完整的验证；而渐进包络模型（Asymptotic Step-Envelope Mode…