Logic-Guided Graph Denoising Diffusion Models
In this paper, we propose a method for grounding graph diffusion models in domain-specific knowledge via First Order Logic (FOL), leveraging its expressive and interpretable formalism to impose structural constraints on the generative process.
ProofPaper ↗
Key points
- Graph diffusion models are competitive approaches for generating complex graph-structured data.
- We incorporate domain knowledge using classifier guidance, a technique that conditions the diffusion model's distribution on external variables to exert control over the sampled data.
- During the generative process, classifier guidance steers the denoising trajectory to optimize an objective function, which we define as a fuzzy and differentiable relaxation of the logical rules.
- We evaluate our approach by comparing the unconditional generation of knowledge graphs with our logic-guided framework, which incorporates domain ontologies as structural constraints during inference.
Sources (1)
- [1]Logic-Guided Graph Denoising Diffusion ModelsarXiv (AI, ML, NLP, CV, robotics, multi-agent) · Oct 16, 05:06 PM
In this paper, we propose a method for grounding graph diffusion models in domain-specific knowledge via First Order Logic (FOL), leveraging its expressive and interpretable formalism to impose structural constraints on the generative process.
Graph diffusion models are competitive approaches for generating complex graph-structured data.
Extractive summary: sentences quoted from the sources.
Before this
- Oct 16, 2026Kingfisher: Fast Personalized Visual Autoregressive Generation via Scale-Aware Prompt-Conditioned Scale Decomposition
- Oct 16, 2026DIFFLET: A Fast Inference Engine for Diffusion Transformer Models on AWS Trainium
- Oct 15, 2026Granite Switch 4.1: Chat, Decisions, and Speech from One Endpoint
- Oct 15, 2026Decoupled Safety Control: A Safety-Control Algorithm for Training-Free Safety Guidance
- Oct 15, 2026Score Mismatch and Set-Constrained Sampling in Zero-Shot Conditional Discrete Diffusion
- Oct 14, 2026Two-Stage Score Estimation for Group-Specific Diffusion Models