Meta-Ctrl: Guaranteed Plan Generation by Decoupling Syntactic and Semantic Constraints
Industry
Source: arXiv cs.ROPublish time unverified
arXiv:2608.22149v2 Announce Type: replace Abstract: LLMs generate fluent plans for robots but routinely violate the syntactic and se8mantic constraints they must satisfy to execute, and existing remedies trade formal guarantees against plan quality: soft methods (affordance scoring, grounded decoding) give no guarantee, while symbolic planners (LLM+P) discard the LM's commonsense.