Publications

Automating Thought of Search: A Journey Towards Soundness and Completeness

• • Daniel Cao
  • Michael Katz
  • et al.
• 2025
• AAAI 2025