Maene, Jaron, and Luc De Raedt. 2025. “The Gradient of Algebraic Model Counting”. Proceedings of the AAAI Conference on Artificial Intelligence 39 (18):19367-77. https://doi.org/10.1609/aaai.v39i18.34132.