信息安全研究2022，Vol.8Issue(9)：917-924,8.DOI:10.12379/j.issn.2096-1057.2022.09.09
基于Softplus函数的神经网络的Reluplex算法验证研究
Research on Verification of Neural Network Based on Softplus Function by Reluplex Algorithm
摘要
关键词
神经网络/形式化验证/激活函数/Relu函数/Softplus函数分类
信息技术与安全科学引用本文复制引用
陆明远,侯春燕,王劲松..基于Softplus函数的神经网络的Reluplex算法验证研究[J].信息安全研究,2022,8(9):917-924,8.基金项目
国家自然科学基金面上项目(6217070940) （6217070940）
