Learning to Reason: Leveraging Neural Networks for Approximate DNF Counting

Ralph Abboud, Ismail Ilkan Ceylan, Thomas Lukasiewicz

Weighted model counting (WMC) has emerged as a prevalent approach for probabilistic inference. In its most general form, WMC is #P-hard. Weighted DNF counting (weighted #DNF) is a…