Zhang, Xuan, et al. “Constraints-Guided Diffusion Reasoner for Neuro-Symbolic Learning”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 40, no. 33, Mar. 2026, pp. 28446-54, doi:10.1609/aaai.v40i33.40074.