Scassola, D. et al. 2025. Zero-Shot Conditioning of Score-Based Diffusion Models by Neuro-Symbolic Constraints. Proceedings of the AAAI Conference on Artificial Intelligence. 39, 19 (Apr. 2025), 20302–20309. DOI:https://doi.org/10.1609/aaai.v39i19.34236.