SciHub
文献互助
期刊查询
一搜即达
科研导航
即时热点
交流社区
登录
注册
发布
文献
求助
首页
我的求助
捐赠本站
A Literature Review on Verification and Abstraction of Neural Networks Within the Formal Methods Community
计算机科学
抽象
形式化方法
形式验证
程序设计语言
人工神经网络
软件工程
人工智能
理论计算机科学
认识论
哲学
作者
Sudeep Kanav,
Jan Křetínský,
Sabine Rieder
出处
期刊：
Lecture Notes in Computer Science
日期：2024-11-17
卷期号：: 39-65
标识
DOI：10.1007/978-3-031-75778-5_3
求助该文献
相关文献
科研通AI机器人已完成分析
对不起，本页面需要您登录以后才可查看
进入登录/注册页面
科研通智能强力驱动
Strongly Powered by AbleSci AI
我的文献求助列表
浏览历史
一分钟了解求助规则
|
捐赠本站
|
历史今天
更新
2024年影响因子查询已上线
(2024-6-20)
更新
大幅提高文件上传限制，最高150M
(2024-4-1)
科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。 对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。
实时播报
精明书桃
完成签到
，获得积分
10
10秒前
朝阳
发布了新的
文献求助
10
15秒前
勤奋青寒
完成签到，获得积分
10
16秒前
简单的惋庭
完成签到
，获得积分
0
17秒前
樟寿
完成签到
，获得积分
10
18秒前
朝阳
完成签到，获得积分
10
25秒前
Vegeta
完成签到
，获得积分
10
28秒前
李新光
完成签到
，获得积分
10
33秒前
追梦人2016
完成签到
，获得积分
10
33秒前
铁妹儿
完成签到
，获得积分
10
34秒前
Tonald Yang
发布了新的
文献求助
10
36秒前
上官若男
上传了
应助文件
39秒前
janer
完成签到
，获得积分
10
42秒前
D4
发布了新的
文献求助
10
44秒前
田様
上传了
应助文件
47秒前
起风了
完成签到
，获得积分
10
48秒前
龚问萍
完成签到
，获得积分
10
51秒前
picapica668
发布了新的
文献求助
10
51秒前
星辰大海
上传了
应助文件
54秒前
有机
发布了新的
文献求助
10
1分钟前
潘fujun
完成签到
，获得积分
10
1分钟前
传奇3
的
应助
被
D4
采纳，获得
10
1分钟前
赵勇
完成签到
，获得积分
10
1分钟前
Heidi
完成签到
，获得积分
10
1分钟前
小蘑菇
上传了
应助文件
1分钟前
XZZ
完成签到
，获得积分
10
1分钟前
文献搬运工
完成签到
，获得积分
10
1分钟前
森淼
完成签到
，获得积分
10
1分钟前
朝花夕拾
完成签到
，获得积分
10
1分钟前
杳鸢
的
应助
被
沉静问芙
采纳，获得
10
2分钟前
卿莞尔
完成签到
，获得积分
10
2分钟前
Tonald Yang
完成签到，获得积分
20
2分钟前
陈昇
完成签到
，获得积分
10
2分钟前
sjx_13351766056
完成签到
，获得积分
10
2分钟前
eular
完成签到
，获得积分
10
2分钟前
科研小白
完成签到
，获得积分
10
2分钟前
picapica668
发布了新的
文献求助
10
2分钟前
yinhe
完成签到
，获得积分
10
2分钟前
可爱的函函
上传了
应助文件
2分钟前
Kevin
发布了新的
文献求助
30
2分钟前
高分求助中
Evolution
10000
Distribution Dependent Stochastic Differential Equations
500
A new species of Coccus (Homoptera: Coccoidea) from Malawi
500
A new species of Velataspis (Hemiptera Coccoidea Diaspididae) from tea in Assam
500
PraxisRatgeber: Mantiden: Faszinierende Lauerjäger
500
Die Gottesanbeterin: Mantis religiosa: 656
400
Mantiden: Faszinierende Lauerjäger Faszinierende Lauerjäger
400
热门求助领域
（近24小时）
化学
医学
生物
材料科学
工程类
有机化学
生物化学
物理
内科学
纳米技术
计算机科学
化学工程
复合材料
基因
遗传学
催化作用
物理化学
免疫学
量子力学
细胞生物学
热门帖子
关注
科研通微信公众号，转发送积分
3158663
求助须知：如何正确求助？哪些是违规求助？
2809833
关于积分的说明
7883792
捐赠科研通
2468539
什么是DOI，文献DOI怎么找？
1314332
科研通“疑难数据库（出版商）”最低求助积分说明
630601
版权声明
601983
今日热心研友
爱静静
660
寻道图强
27
240
丰盛的煎饼
460
加菲丰丰
400
杳鸢
9
310
shinysparrow
7
300
oceanao
21
130
竹筏过海
20
120
乐乐乐乐乐乐
260
YifanWang
210
西红柿炒番茄
200
Migue
17
ShowMaker
160
spark810
120
tianzml0
100
贰鸟
10
kento
100
田様
80
嗯哼
80
冒险寻羊
70
注：热心度 = 本日应助数 + 本日被采纳获取积分÷10
爱静静
寻道图强
丰盛的煎饼
加菲丰丰
杳鸢
shinysparrow
oceanao
竹筏过海
乐乐乐乐乐乐
YifanWang
西红柿炒番茄
Migue
ShowMaker
spark810
tianzml0
贰鸟
kento
田様
嗯哼
冒险寻羊
皖公网安备34019202002308
