The Gradient of Algebraic Model Counting

Jaron Maene, Luc De Raedt

Algebraic model counting unifies many inference tasks on logic formulas by exploiting semirings. Rather than focusing on inference, we consider learning, especially in statistical-…