LLMs as Planning Formalizers: A Survey for Leveraging Large Language Models to Construct Automated Planning Models
机构 * Ingenuity Labs Research Institute, Queen’s University(英杰实验室研究 institute,皇后大学) ; School of Computing, Queen’s University(计算学院,皇后大学) ; Department of Electrical and Computer Engineering, Queen’s University(电气与计算机工程学院,皇后大学)
专题命中 规划推理 :planning(title,abstract);reasoning(abstract);分类 cs.AI
Comments 20 pages, 3 figures, 3 appendices