待验证50% 置信基准精确时间
根据论文摘要，VeriCUA在多项实验中展现出与参考标签更高的一致性，优于所比较的基线方法；在离线评估中困难案例上的提升最为明显，在在线场景下对虚假完成声明的拒绝能力更强。
1
来源数
50%
置信度
中期 (~90 天)
时效性
2026/10/30
首次发现
有效期至：2027/1/28
来源
涉及实体
相关事实
待验证论文将VeriCUA的性能提升归因于互补证据和测试时探索，即验证器在测试阶段主动探索环境的能力直接贡献了判断准确性的提升。80% 相似待验证研究团队基于 VERITAS 提取的迹线特征训练了一个分类器来区分忠实与不忠实的推理。73% 相似待验证测试时探索借鉴测试时计算的思想，在推理阶段投入额外计算，通过多步交互、试错或搜索来提升结果质量；在VeriCUA中验证器可主动执行导航、点击、查询等动作，代价是延迟和操作风险。71% 相似待验证VeriCUA将验证重新定义为在共享流程中动态收集证据并做出评估的过程，验证器主动探索环境，而非被动等待观察输入。70% 相似待验证Verus中的证明部分包含辅助断言、循环不变量等，不参与实际运行，只服务于验证过程69% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/1115310API
curl https://kongchang.com/api/v1/knowledge/claims/1115310MCP
get_claim(id=1115310)