BriefGPT.xyz
Apr, 2019
学习推理：利用神经网络实现近似 DNF 计数
Learning to Reason: Leveraging Neural Networks for Approximate DNF Counting
HTML
PDF
Ralph Abboud, Ismail Ilkan Ceylan, Thomas Lukasiewicz
TL;DR
本文提出了一种基于神经网络模型的加权#DNF模型计数方法，结合了近似模型计数和深度学习，可以在线性时间内准确估算模型数目，并在大规模#DNF实例中表现良好。
Abstract
weighted model counting
has emerged as a prevalent approach for
probabilistic inference
. In this paper, we are interested in weighted DNF counting, or briefly, weighted #DNF, which admits a fully polynomial rando
→