09:45
arXiv cs.LG@Philipp Kern, László Antal, Erika Ábráham, Carsten Sinz
推荐理由：SLiR让验证任意激活函数变得简单，比现有方法多验证近8倍属性，做神经网络安全的可以看看。
全部 AI 动态
AI 相关资讯全量信息流
6月19日
09:45
SLiR是一种新的神经网络验证方法，仅需Lipschitz常数或临界点即可为任意激活函数生成线性松弛。该方法通过参数化斜率和移位过程确保上界和下界的正确性。实验表明，在多种实际激活函数上，SLiR生成的松弛更紧，可验证的属性数量比现有方法最多提升7.8倍。
6月16日
20:46
AITOP6月16日 20:46
6月12日
12:57
AITOP6月12日 12:57
6月11日
15:28
AITOP6月11日 15:28
15:23
AITOP6月11日 15:23
15:07
AITOP6月11日 15:07
5月21日
12:13
12:13
arXiv cs.LG@Pin-Hsun Lee, Harry Leib
精选
推荐理由：这项研究解决了城市环境中GNSS定位精度差的痛点，做导航定位、自动驾驶或智能交通的开发者可以直接参考其激活函数加权方法，值得关注。
5月12日
19:11
19:11
arXiv cs.LG@Chenyang Song, Weilin Zhao, Xu Han, Chaojun Xiao, Yingfa Chen, Zhiyuan Liu
推荐理由：DECO在保持性能和降低计算开销方面取得了良好平衡，其3倍加速和严格的稀疏性控制对端侧AI部署具有实际参考价值。