Automating Thought of Search: A Journey Towards Soundness and Completeness. - Daniel Cao; Michael Katz 001; Harsha Kokel; Kavitha Srinivas; Shirin Sohrabi (CoRR, 2024)

Automating Thought of Search: A Journey Towards Soundness and Completeness (Student Abstract). - Daniel Cao; Michael Katz 001; Harsha Kokel; Kavitha Srinivas; Shirin Sohrabi (AAAI, 2025)