Zhang X, Zhou Z, Xu W, Miao Y, Qu C, Qi Y. Constraints-Guided Diffusion Reasoner for Neuro-Symbolic Learning. AAAI [Internet]. 2026 Mar. 14 [cited 2026 May 17];40(33):28446-54. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/40074