We gratefully acknowledge support from
the Simons Foundation and member institutions.

Jinzhao Li is qualified to endorse.

Solving Satisfiability Modulo Counting for Symbolic and Statistical AI Integration With Provable Guarantees

Jinzhao Li: Is registered as an author of this paper.
Can endorse for cs.AI, cs.CC, cs.LG, cs.LO. (why?)

Nan Jiang and Yexiang Xue are not registered as owners of this paper. (why?)