Cao, D., Katz, M., Kokel, H., Srinivas, K. and Sohrabi, S. 2025. Automating Thought of Search: A Journey Towards Soundness and Completeness (Student Abstract). Proceedings of the AAAI Conference on Artificial Intelligence. 39, 28 (Apr. 2025), 29328-29330. DOI:https://doi.org/10.1609/aaai.v39i28.35240.