Jinzhao Li, Nan Jiang 0012, Yexiang Xue. Solving Satisfiability Modulo Counting for Symbolic and Statistical AI Integration with Provable Guarantees. In Michael J. Wooldridge, Jennifer G. Dy, Sriraam Natarajan, editors, Thirty-Eigth AAAI Conference on Artificial Intelligence, AAAI 2024, Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence, IAAI 2024, Fourteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2014, February 20-27, 2024, Vancouver, Canada. pages 20481-20490, AAAI Press, 2024. [doi]
Abstract is missing.