BriefGPT.xyz
Ask
alpha
关键词
neural network verification tools
搜索结果 - 1
第四届神经网络验证国际比赛 (VNN-COMP 2023):概述与结果
该报告总结了第四届国际神经网络验证竞赛(VNN-COMP 2023),作为第六届机器学习驱动自主系统形式化方法研讨会(FoMLAS)的一部分,在第 35 届计算机辅助验证国际会议(CAV)上举行。VNN-COMP 是一年一度的活动,旨在促进
→
PDF
6 months ago
Prev
Next