@article{陆明远_917, author = {[陆明远, 侯春燕, 王劲松]}, title = {基于 Softplus 函数的神经网络的 Reluplex 算法验证研究}, publisher = {信息安全研究}, year = {2022}, journal = {信息安全研究}, volume = {8}, number = {9}, eid = {917}, pages = {917-}, keywords = {神经网络;形式化验证;激活函数;Relu函数;Softplus函数}, url = http://www.sicris.cn/CN/abstract/article_1223.shtml }