Zhang, Xuan, Zhijian Zhou, Weidi Xu, Yanting Miao, Chao Qu, and Yuan Qi. 2026. “Constraints-Guided Diffusion Reasoner for Neuro-Symbolic Learning”. Proceedings of the AAAI Conference on Artificial Intelligence 40 (33):28446-54. https://doi.org/10.1609/aaai.v40i33.40074.