Tree of Thoughts as a Classical Heuristic Search Problem: Formal Foundations and Design Patterns
思维树作为经典启发式搜索问题:形式化基础与设计模式
机构 * Guni Sharon
专题命中 规划推理 :reasoning(abstract);planning(abstract);分类 cs.AI、cs.LG
AI总结 本文通过经典启发式搜索术语统一分类法,将基于LLM的推理映射到搜索组件,并识别出系统搜索和前瞻性策略两种设计模式。
Comments Extended version of the SoCS 2026 paper. Includes appendices omitted from the proceedings version
Journal ref Proceedings of the Nineteenth International Symposium on Combinatorial Search (SoCS 2026), AAAI Press, 2026