实体
Veil
Veil
PulseAugur coverage of Veil — every cluster mentioning Veil across labs, papers, and developer communities, ranked by signal.
总计 · 30天
1
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
0
90 天内 1
层级分布 · 90 天
主题
情绪 · 30 天
1 天有情绪数据
最近 · 第 1/1 页 · 共 2 条
-
AI 进展推动软件和硬件的正式验证
多家公司正在推进形式验证领域，将其应用于 AI 系统及其运行的软件/硬件。Harmonic 使用其 Aristotle 代理进行可扩展验证，而 SF-Tensor 在 Lean 中对 NVIDIA 的 PTX 语言进行形式化。&Truth 旨在利用 Lean 证明 AI 生成软件的正确性，Clark Barrett 和 Ilya Sergey 等关键人物参与其中。此外，Theorem. 和 Anthropic 合作验证了 RISC-V…
-
新研究VEIL揭示图表编码会影响视觉模型的偏见
研究人员引入了VEIL，一种研究图表图像中的视觉编码选择如何影响卷积神经网络（CNN）在时间序列分类任务中学习到的表示的方法。研究发现，虽然注意力引导的训练可以在一致检测到敏感性时帮助减轻图表编码带来的偏见，但在其他情况下益处有限。这些发现表明，可视化设计显著地塑造了学习到的表示，将基于图表的时间序列分类视为一个表示和测量问题，而不仅仅是建模问题。