Zhang, X. (2026) “Constraints-Guided Diffusion Reasoner for Neuro-Symbolic Learning”, Proceedings of the AAAI Conference on Artificial Intelligence, 40(33), pp. 28446–28454. doi: 10.1609/aaai.v40i33.40074.