Showing 2025Show all
3 papers · 1 filter
cs.CL2025
Language Model as Planner and Formalizer under Constraints
Cassie Huang, Stuti Mohan, Ziyi Yang +2
LLMs have been widely used in planning, either as planners to generate action sequences end-to-end, or as formalizers to represent the planning domain and problem in a formal langu…
cs.CL2025
Unifying Inference-Time Planning Language Generation
Prabhu Prakash Kagitha, Bo Sun, Ishan Desai +5
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 determin…
cs.CL2025
A Reality Check of Language Models as Formalizers on Constraint Satisfaction Problems
Rikhil Amonkar, Ceyhun Efe Kayan, Qimei Lai +2
Recent work shows superior performance when using large language models (LLMs) as formalizers instead of as end-to-end solvers for symbolic reasoning problems. Given the problem de…