Zhang, X.; Zhou, Z.; Xu, W.; Miao, Y.; Qu, C.; Qi, Y. Constraints-Guided Diffusion Reasoner for Neuro-Symbolic Learning. AAAI 2026, 40, 28446-28454.