Neurosymbolic Deep Generative Models for Sequence Data with Relational Constraints. - Halley Young; Maxwell Du; Osbert Bastani (NeurIPS, 2022)