A Pseudo-Semantic Loss for Autoregressive Models with Logical Constraints - Ahmed, Kareem; Chang, Kai-Wei; Van den Broeck, Guy (Advances in Neural Information Processing Systems, 2023)