Cao, Daniel, Michael Katz, Harsha Kokel, Kavitha Srinivas, and Shirin Sohrabi. 2025. “Automating Thought of Search: A Journey Towards Soundness and Completeness (Student Abstract)”. Proceedings of the AAAI Conference on Artificial Intelligence 39 (28):29328-30. https://doi.org/10.1609/aaai.v39i28.35240.