weighted model integration | BriefGPT

关键词weighted model integration

搜索结果 - 4

基于加权模型集成的人工智能系统概率验证的统一框架
用加权模型整合（WMI）为基础，提出了一个统一的 AI 系统的概率形式验证（PFV）框架，它可以处理各种机器学习模型的不同性质验证，如公平性、鲁棒性或单调性，避免了强分布假设，并讨论了与该框架相关的可扩展性挑战和研究方向。
PDF5 months ago
结构感知的 SMT 加权模型集成增强
本文介绍一种基于 SMT 枚举的新算法，通过对问题结构的有效编码避免生成冗余模型，从而实现与不同整合技术的无缝配合，可以显著扩展可以通过 WMI 技术处理的问题集，而且相比现有的解决方案具有巨大的计算优势，已在合成和真实世界数据集上进行了广
PDFa year ago
基于 SMT 的结构感知加权模型集成
本文介绍了一种基于 SMT-based enumeration 的算法，对于复杂的混合问题具有显著的计算节约优势，经过实验评估证明该算法优于现有替代方法。
PDF2 years ago
AAAI通过利用知识编译在线性和非线性混合领域中扩大概率推断
本文提出了新的实现方案，利用命题知识编译来扩展推理，使用可处理布尔函数的可决策图作为基础模型计数和列举方案，在非线性势函数上处理非线性约束，并与最先进的 WMI 系统竞争。
PDF6 years ago