Scassola, Davide, Sebastiano Saccani, Ginevra Carbone, and Luca Bortolussi. “Zero-Shot Conditioning of Score-Based Diffusion Models by Neuro-Symbolic Constraints”. Proceedings of the AAAI Conference on Artificial Intelligence 39, no. 19 (April 11, 2025): 20302–20309. Accessed May 19, 2026. https://ojs.aaai.org/index.php/AAAI/article/view/34236.