BriefGPT.xyz
Ask
alpha
关键词
certificates
搜索结果 - 5
高效的非高斯集中度证书
利用新的反集中形式，我们提供了准多项式时间可验证的反集中积分证书，适用于包括反集中有界产品分布和 $L_p$ 球以及其仿射变换在内的广泛非高斯分布，将算法鲁棒统计的结果升级和扩展到这些分布。
PDF
a month ago
SafEDMD：针对数据驱动的非线性动力系统控制的认证学习架构
本研究提出了基于稳定性和证书的扩展动态模态分解（SafEDMD）的学习架构，该架构通过严格的证书生成可靠的、数据驱动的代理模型，进一步得出了在控制任务中基于半定编程的认证控制器设计的误差界。通过多个基准示例展示了所开发机制的优势，并指出了与
→
PDF
5 months ago
AAAI
用于近似模型计数的可审计算法
模型计数、近似计数算法、可审核的近似计数器、证书和 oracle
PDF
7 months ago
图形扰动的可验证鲁棒性
本文提出了一种针对图神经网络和标签 / 特征传播模型的验证可证（非）鲁棒性的方法，并通过 PageRank 和马尔可夫决策过程的相关性来计算证书。我们同时研究了一种鲁棒性训练程序，以增加可证明鲁棒性节点的数量，同时保持或提高了干净的预测准确
→
PDF
5 years ago
PROVEN：一种基于概率方法验证神经网络的稳健性
该研究提出了一种概率证明框架 PROVEN，用于验证神经网络在输入加噪时的鲁棒性，可证明分类器的 top-1 预测在受限的 Lp 范数扰动下不会发生改变，证书是基于现有的神经网络鲁棒性验证框架，该方法在 MNIST 和 CIFAR 神经网络
→
PDF
6 years ago
Prev
Next