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