J. Maene and L. De Raedt, “The Gradient of Algebraic Model Counting”, AAAI, vol. 39, no. 18, pp. 19367–19377, Apr. 2025.