D. Scassola, S. Saccani, G. Carbone, and L. Bortolussi, “Zero-Shot Conditioning of Score-Based Diffusion Models by Neuro-Symbolic Constraints”, AAAI, vol. 39, no. 19, pp. 20302–20309, Apr. 2025.