ZHAO, Ziming; LI, Tingting; LI, Zhaoxuan; YIN, Jianwei. Relational Verification for Cost-Aware Quantum Program Optimization. Proceedings of the AAAI Conference on Artificial Intelligence, [S. l.], v. 40, n. 17, p. 14414–14422, 2026. DOI: 10.1609/aaai.v40i17.38457. Disponível em: https://ojs.aaai.org/index.php/AAAI/article/view/38457. Acesso em: 12 may. 2026.