Research · Robotics & embodied AI
Symbolic checks make household robot plans safer and cheaper to repair
SAGE: Symbolic Action-Gating and Editing for LLM Task Planners
SAGE blocks actions that violate environmental preconditions and regenerates only the affected portion of an LLM-generated plan.
AI2-THOR: 0.71 step_success (as reported)
Korea Electronics Technology Institute (KETI)