AI RESEARCH
Logical Guidance for the Exact Composition of Diffusion Models
arXiv CS.LG
•
ArXi:2602.05549v2 Announce Type: replace We propose LOGDIFF (Logical Guidance for the Exact Composition of Diffusion Models), a guidance framework for diffusion models that enables principled constrained generation with complex logical expressions at inference time. We study when exact score-based guidance for complex logical formulas can be obtained from guidance signals associated with atomic properties. First, we derive an exact Boolean calculus that provides a sufficient condition for exact logical guidance.