TY - RPRT TI - Zero-Shot Conditioning of Score-Based Diffusion Models by Neuro-Symbolic Constraints AU - Davide Scassola AU - Sebastiano Saccani AU - Ginevra Carbone AU - Luca Bortolussi PY - 2024 UR - https://arxiv.org/abs/2308.16534 ID - 2308.16534 ER -