[希神]尼纳姆 swMATH ID: 44200 软件作者： 斯坦利·贝克 说明： nnenum-神经网络枚举工具。nnenum（发音为en-en-en-um）是一种高性能的神经网络验证工具。多个抽象级别用于快速验证ReLU网络，而不会牺牲完整性。分析将三种类型的分区与星形集（三角形）过逼近结合起来，并使用高效的并行ReLU案例分割。该工具是用Python 3编写的，使用GLPK进行LP求解，并直接接受ONNX网络文件和vnnlib规范作为输入。ImageStar技巧允许集合在ONNX运行时支持的所有层中快速传播，例如具有任意参数的卷积层。 主页： http://stanleybak.com/papers/bak2021nfm.pdf 源代码： https://github.com/stanleybak/nenum网站 依赖项： 蟒蛇 相关软件： Reluplex公司；马拉布；ReachNN公司；NNV公司；二进制网络；AI2公司；z3（零3）；阳极；火炬差异；Diffrax公司；NNVODE公司；神经CDE；CORA公司；SpaceEx公司；火炬；Verisig公司；GoTube公司；阳极；JuliaReach公司；流量* 引用于： 3文件 全部的 前5名13位作者引用 1 斯坦利·巴克 1 伊奥里·贝萨 1 卢卡斯·科迪罗（Lucas C.Cordeiro）。 1 泰勒·多曼 1 汉密尔顿，纳撒尼尔·P。 1 泰勒·T·约翰逊。 1 爱德华多·马尼诺 1 迭戈·曼扎纳斯·洛佩兹 1 帕特里克·穆索 1 克里希南·苏布拉马尼 1 阿舒托什·特里维迪 1 阿尔瓦罗·贝拉斯克斯 1 Wojciechowski，Piotr J。 连载1篇 1 神经网络 在1个字段中引用 三 计算机科学（68至XX） 按年份列出的引文