实体
cvc5
cvc5
PulseAugur coverage of cvc5 — every cluster mentioning cvc5 across labs, papers, and developer communities, ranked by signal.
总计 · 30天
0
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
0
90 天内 2
层级分布 · 90 天
主题
最近 · 第 1/1 页 · 共 2 条
-
EZSMTV3 框架推进混合推理以解决复杂问题 · 跟踪 1 个来源
一个名为 EZSMTV3 的新框架已被开发用于约束答案集编程 (CASP)，这是一种结合了答案集编程与约束处理和可满足性模理论 (SMT) 的混合推理范式。该系统 EZSMTV3 设计为可扩展的，并推进了 CASP 求解的转换方法。它利用现有的 SMT 求解器，如 CVC5、YICES 和 Z3 进行推理，其性能与其他 CASP 系统（如 CLINGCON 和 CLINGO[DL]）进行了基准测试。该框架通过弱约束支持优化，并且能够处…
-
新研究探讨了如何操纵人工智能安全指标
研究人员开发了一种新的在线安全指标审计方法，解决了平台在不减少实际伤害的情况下操纵分数的问题。提出的“语义信封提升”（semantic-envelope lift）指标为每个内容变体分配其语义类别内的最高分数，旨在提供更稳健的安全衡量标准。该方法旨在抵抗战略操纵，并提供一个证书，即使存在注释和协议错误，也能限制实际伤害。