2025
CTSketch: Compositional Tensor Sketching for Scalable Neurosymbolic Learning
NeurIPS 2025poster
Many computational tasks benefit from being formulated as the composition of neural networks followed by a discrete symbolic program. The goal of neurosymbolic learning is to train the neural networks using end-to-end input-output labels of the composite. We introduce CTSketch, a novel, scalable neu…