X. Zhang, Z. Zhou, W. Xu, Y. Miao, C. Qu, and Y. Qi, “Constraints-Guided Diffusion Reasoner for Neuro-Symbolic Learning”, AAAI, vol. 40, no. 33, pp. 28446–28454, Mar. 2026.