Neurosymbolic Deep Generative Models for Sequence Data with Relational Constraints - Young, Halley; Du, Maxwell; Bastani, Osbert (Advances in Neural Information Processing Systems, 2022)