M. Jacobson and Y. Xue, “Integrating Symbolic Reasoning into Neural Generative Models for Design Generation”, AAAI, vol. 39, no. 27, pp. 28741–28741, Apr. 2025.