PulseAugur
中
实时 10:09:41
实体 Verdict-Preserving-Unfaithfulness

Verdict-Preserving-Unfaithfulness

PulseAugur coverage of Verdict-Preserving-Unfaithfulness — every cluster mentioning Verdict-Preserving-Unfaithfulness across labs, papers, and developer communities, ranked by signal.

Show in brief
总计 · 30天
1
90 天内 1
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
主题
情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条
  1. TOOL · CL_247708 ·

    新的生成验证方法解决了人工智能形式化漏洞

    研究人员引入了生成验证（GenV），一种解决神经符号系统对判决保留不忠实（VPU）漏洞的新方法。当不正确的形式化翻译被数学求解器接受时，就会发生 VPU，导致错误未被检测到。GenV 将离线 Z3 等价性预言机提炼成连续的参考等价性分数，从而实现无参考验证。该方法在验证中达到了 0.961 的 AUROC，并在代理测试时间计算分配中将下游准确性提高了 11.3 个百分点。