夏洛克 swMATH ID: 43618 软件作者： 杜塔，苏拉德普；陈欣；杰哈，苏米特；桑卡拉纳拉亚南，斯里拉姆；阿什什·蒂瓦里 描述： Sherlock-用于验证神经网络反馈系统的工具。Sherlock是深度神经网络的输出范围分析工具。当前版本只能处理带有ReLU激活单元的前馈神经网络。 主页： https://susmitjha.github.io/papers/hscc19.pdf 源代码： https://github.com/souradeep-111/sherlock 依赖项： C类++ 关键词： 神经网络;嵌入式和网络物理系统;区间算术;微分方程;深度神经网络;验证 相关软件： NNV公司;Reluplex公司;CORA公司;流量*;人工智能2;ReachNN公司;AlexNet公司;萨波;JuliaReach公司;SpaceEx公司;日/日;HyPro公司;杂交分析;ImageNet公司;阿里阿德涅;高超声速;违约;d到达;MPT公司;细屑++ 引用于： 6文件 标准条款 1出版物描述软件，包括1出版物在zbMATH中 年份 演示摘要：Sherlock–用于验证神经网络反馈系统的工具。 Zbl 07120164号Souradeep杜塔;陈欣;苏斯米特·贾;桑卡拉纳拉亚南，斯里拉姆;阿什什·蒂瓦里 2019 全部的 前5名26位作者引用 2 埃里克·古堡 2 Sylvie推杆 2 桑卡拉纳拉亚南，斯里拉姆 1 阿尔贝托·卡萨格兰德 1 陈欣 1 马修·克利夫兰 1 Thao Dang先生 1 卢卡·多里戈 1 托马索·德罗西 1 Souradeep杜塔 1 拉多斯拉夫·伊万诺夫 1 苏斯米特·贾 1 林，王 1 林德曼，拉尔斯 1 刘志明 1 塞巴斯蒂安·帕伦比 1 乔治·帕帕斯。 1 卡拉广场 1 埃莉诺拉·皮皮亚 1 路易斯·鲁斯滕霍尔茨 1 唐晓超 1 阿什什·库马尔·蒂瓦里 1 杨正峰 1 曾、夏 1 曾振兵 1 张艺丹 2篇连载文章中引用 1 人工智能 1 信息与计算 在4个字段中引用 5 计算机科学（68至XX） 三 系统论；控制（93至XX） 1 代数几何（14-XX） 1 凸和离散几何（52至XX） 按年份列出的引文