CAO, D.; KATZ, M.; KOKEL, H.; SRINIVAS, K.; SOHRABI, S. Automating Thought of Search: A Journey Towards Soundness and Completeness (Student Abstract). Proceedings of the AAAI Conference on Artificial Intelligence, [S. l.], v. 39, n. 28, p. 29328-29330, 2025. DOI: 10.1609/aaai.v39i28.35240. Disponível em: https://ojs.aaai.org/index.php/AAAI/article/view/35240. Acesso em: 25 apr. 2026.