Li, J., Jiang, N. and Xue, Y. (2024) “Solving Satisfiability Modulo Counting for Symbolic and Statistical AI Integration with Provable Guarantees”, Proceedings of the AAAI Conference on Artificial Intelligence, 38(18), pp. 20481–20490. doi: 10.1609/aaai.v38i18.30032.