BriefGPT.xyz
Ask
alpha
关键词
real-world properties
搜索结果 - 1
深度神经网络的神经符号验证
文章介绍了一种基于神经网络和逻辑规范的神经符号验证框架 Neuro-symbolic Verification,使得现有的神经网络验证基础设施可用于分析复杂的实际特性,从而避免现有神经网络验证技术的严重局限。
PDF
2 years ago
Prev
Next