文件名称：geometric-certificates:神经网络的几何认证
文件大小：4.52MB
文件格式：ZIP
更新时间：2024-05-22 13:28:46
Python
GeoCert 几何启发式算法，用于解决以下一般性问题：找到一个最大的l_p球，该球位于点x处，形成一个多面体复合体的多面体的并集。 可证明该算法对于p等于或大于1的情况是正确的。在证明多层ReLu网络的对抗鲁棒性方面发现了主要应用。 由和Justin Lewis创建。 查阅有关arXiv的论文：：。 一些示例结果： 最大l_2投影 网络输入分配 消息 2019年9月13日：部署了0.2版重构 2019/09/03：被NeurIPS 2019接受（海报） 2019/06/11：在ICML研讨会上的贡献演讲 2019/03/20：部署了ArXiv版本和版本0.1 主要内容 职能： 在L 2和L∞范数下计算最小距离对抗示例。 也就是说，给定分类器f和输入x ，GeoCert将以最小的L p范数计算δ，以使f（x）≠f（x +δ）。 回答健壮性的决策问题。 给定一个识别器f，输入x