113 citations · 319 across the 38 of their papers we have counts for
Showing 2025Show all
2 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.RO2025
Task and Skill Planning: Hierarchical Robot Planning with Black-Box Skills
Benned Hedegaard, Yichen Wei, Ziyi Yang +4
Task and motion planning (TAMP) is a well-established approach for solving long-horizon robot planning problems. Although TAMP methods have historically assumed that each task-leve…