Solving Satisfiability Modulo Counting Exactly with Probabilistic Circuits Rethink the Role of Deep Learning towards Large-scale Quantum Systems Unified K-Means Clustering with Label-Guided Manifold ...