Parallel Verification for δ-Equivalence of Neural Network Quantization

已完结

文献求助详情

标题	Parallel Verification for δ-Equivalence of Neural Network Quantization
网址	https://link.springer.com/chapter/10.1007/978-3-031-65112-0_...
DOI	10.1007/978-3-031-65112-0_4 doi
其它	In: AI Verification (SAIV 2024), Lecture Notes in Computer Science, Springer, 2024. DOI: 10.1007/978-3-031-65112-0_4.
求助人	111 在 2026-10-29 00:19:16 发布自重庆，悬赏 10 积分
下载	求助已完成，仅限求助人或该文件上传人下载。

上个求助

下个求助

提交工单

该求助已完结，感谢关注

如需该文献，请重新发布求助，前往发布

不忘初心，牢记使命，为科研工作者服务

请遵守相关知识产权规定，勿将文件分享给他人，仅可用于个人研究学习

我的文献求助列表浏览历史

一分钟了解求助规则 | 捐赠本站 | 历史今天

更新

⚡ 2026年影响因子、分区 已更新！ (2026-6-17)

更新

📰 新增『新锐期刊分区』 (2026-3-24)

更新

💬 新增更精细的自定义提醒设置 (2026-1-4)

新增

🕒 每天60秒读懂世界·精选全球要闻 (2026-1-2)

新增

PDF的下载单位、IP信息已删除 (2025-6-4)

科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。

实时播报: 耍酷季节完成签到，获得积分10

6秒前; 清辉影完成签到，获得积分10

7秒前; 方沅完成签到，获得积分10

16秒前; 大气钧完成签到，获得积分10

44秒前; olivia完成签到，获得积分10

49秒前; 淡然的代灵完成签到，获得积分10

56秒前; 闪闪幻梦完成签到，获得积分10

1分钟前; 称心怜菡完成签到，获得积分10

1分钟前; 魁梧的天佑完成签到，获得积分10

1分钟前; 美国奶龙大学学子上传了应助文件

1分钟前; lixuebin完成签到，获得积分10

1分钟前; 自由的凝阳发布了新的文献求助10

1分钟前; 清爽的绝山完成签到，获得积分10

2分钟前; 爆米花的应助被沧海云帆采纳，获得10

2分钟前; JUN完成签到，获得积分10

2分钟前; 123完成签到，获得积分10

2分钟前; 瞿人雄完成签到，获得积分10

2分钟前; 爆米花上传了应助文件

2分钟前; 没心没肺完成签到，获得积分10

2分钟前; 沧海云帆发布了新的文献求助10

2分钟前; KINGAZX完成签到，获得积分10

2分钟前; 自然的绮山完成签到，获得积分10

2分钟前; 自由的凝阳发布了新的文献求助20

2分钟前; 美国奶龙大学学子上传了应助文件

2分钟前; 怕孤独的涵双完成签到，获得积分10

2分钟前; Hello上传了应助文件

2分钟前; 济民财发布了新的文献求助30

2分钟前; 美国奶龙大学学子上传了应助文件

3分钟前; 科研通AI6.4的应助被自由的凝阳采纳，获得10

3分钟前; 清风明月完成签到，获得积分10

3分钟前; 济民财完成签到，获得积分10

3分钟前; 着急的靖柔完成签到，获得积分10

3分钟前; haprier完成签到，获得积分10

3分钟前; mengshang完成签到，获得积分10

3分钟前; 多情的中蓝完成签到，获得积分10

3分钟前; 大模型上传了应助文件

3分钟前; 任淮南发布了新的文献求助10

3分钟前; 香蕉觅云的应助被任淮南采纳，获得10

4分钟前; 斯文败类的应助被任淮南采纳，获得10

4分钟前; 大医仁心完成签到，获得积分10

4分钟前