CTSketch: Compositional Tensor Sketching for Scalable Neurosymbolic Learning - Choi, Seewon; Solko-Breslin, Alaia; Alur, Rajeev; Wong, Eric (Advances in Neural Information Processing Systems, 2025)