| 标题 |
[高分]
 Algorithms for Verifying Deep Neural Networks 相关领域
计算机科学
水准点（测量）
人工神经网络
正确性
集合（抽象数据类型）
领域（数学）
人工智能
图层（电子）
转化（遗传学）
仿射变换
深度学习
实施
理论计算机科学
机器学习
算法
软件工程
程序设计语言
数学
有机化学
化学
生物化学
基因
大地测量学
地理
纯数学
|
| 备注 |
需要官网正式出版的版本，带期号页码，谢谢！
|
| 网址 | |
| DOI |
提醒：求助人提供的doi与AI识别不一致
10.1561/9781680837872
Doi
|
| 其它 |
期刊：Foundations and Trends in Optimization 作者：Changliu Liu; Tomer Arnon; Chris Lazarus; Christopher Strong; Clark Barrett; Mykel J. Kochenderfer 出版日期：2021 |
| 求助人 | |
| 下载 | 求助已完成，仅限求助人下载。 |
|
温馨提示：该文献已被科研通 学术中心 收录，前往查看
科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。
|
PDF的下载单位、IP信息已删除
(2025-6-4)
Criminology34
ccm
哈哈
mantou002
灰灰
无极微光
干净寻冬
柴桑青木
方汀
sxb10101
jubai
浮游
VDC
lsl
归去来兮
natmed
团子
进击的PhD
BowieHuang
若宫伊芙
无名
Mine_cherry
优美紫槐
FashionBoy
皖公网安备34019202002308
