Cao D, Katz M, Kokel H, Srinivas K, Sohrabi S. Automating Thought of Search: A Journey Towards Soundness and Completeness (Student Abstract). AAAI [Internet]. 2025Apr.11 [cited 2026Apr.27];39(28):29328-30. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/35240