CTSketch: Compositional Tensor Sketching for Scalable Neurosymbolic Learning

Seewon Choi, Alaia Solko-Breslin, Rajeev Alur +1

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…