实体
alpha_beta-CROWN
alpha_beta-CROWN
PulseAugur coverage of alpha_beta-CROWN — every cluster mentioning alpha_beta-CROWN across labs, papers, and developer communities, ranked by signal.
总计 · 30天
2
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
2
90 天内 2
层级分布 · 90 天
主题
情绪 · 30 天
2 天有情绪数据
最近 · 第 1/1 页 · 共 2 条
-
AI验证通过新的并行技术进行扩展
研究人员已将通常用于训练大型模型的张量并行和全分片数据并行技术应用于改进神经网络验证的可扩展性。这些方法解决了以前限制形式验证算法的GPU内存限制。研究表明，内存显著减少，其中FSDP在保持与单GPU系统位相同的界限的同时，基线内存下降高达90%。
-
Neural Network Verifier alpha-beta-CROWN Enhances Control Synthesis Safety
Researchers have developed a unified framework to bridge neural network verification with control synthesis, aiming to improve safety in critical systems. The approach utilizes the alpha-beta-CROWN neural network verifi…