Zhang, X., Zhou, Z., Xu, W., Miao, Y., Qu, C., & Qi, Y. (2026). Constraints-Guided Diffusion Reasoner for Neuro-Symbolic Learning. Proceedings of the AAAI Conference on Artificial Intelligence, 40(33), 28446–28454. https://doi.org/10.1609/aaai.v40i33.40074