Theodorou, B.; Jain, S.; Xiao, C.; Sun, J. ConSequence: Synthesizing Logically Constrained Sequences for Electronic Health Record Generation. AAAI 2024, 38, 15355-15363.