M. Miao, J. Tang, G. Hu, and H. Zhang, “BDD2Seq: Enabling Scalable Reversible-Circuit Synthesis via Graph-to-Sequence Learning”, AAAI, vol. 40, no. 2, pp. 863-872, Mar. 2026.