Cao, Daniel

1 publications

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