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