Semantic Probabilistic Layers for Neuro-Symbolic Learning - Ahmed, Kareem; Teso, Stefano; Chang, Kai-Wei; Van den Broeck, Guy; Vergari, Antonio (Advances in Neural Information Processing Systems, 2022)