一作ACL 2026Findings· Findings of ACL
Unifying Inference-Time Planning Language Generation
Prabhu Prakash Kagitha · Bo Sun · Ishan Desai · Andrew Zhu · Cassie Huang · Manling Li · Ziyang Li · Li Zhang
摘要
A line of work in planning uses LLM not to generate a plan, but to generate a formal representation in some planning language, which can be input into a symbolic solver to deterministically find a plan. While showing improved trust and promising performance, dozens of recent publications have pro...