Daniel Cao Michael Katz 0001 Harsha Kokel Kavitha Srinivas Shirin Sohrabi Automating Thought of Search: A Journey Towards Soundness and Completeness (Student Abstract). 29328-29330 2025 AAAI https://doi.org/10.1609/aaai.v39i28.35240 conf/aaai/2025 db/conf/aaai/aaai2025.html#Cao0KSS25