Davide Scassola, Sebastiano Saccani, Ginevra Carbone, Luca Bortolussi. Zero-Shot Conditioning of Score-Based Diffusion Models by Neuro-Symbolic Constraints. In Toby Walsh, Julie Shah, Zico Kolter, editors, AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, February 25 - March 4, 2025, Philadelphia, PA, USA. pages 20302-20309, AAAI Press, 2025. [doi]
Abstract is missing.