activity
20242026
most citedA Circus of Circuits: Connections Between Decision Diagrams, Circuits, and Automata

1 citations · 1 across the 15 of their papers we have counts for

collaborators
Showing cs.ROShow all

1 paper · 1 filter

cs.RO2026

Meta-Ctrl: Guaranteed Plan Generation by Decoupling Syntactic and Semantic Constraints

Gwen Yidou-Weng, Edward Sun, Tianyi Ma +5

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 agai…