The authors built SAGE around two mechanisms.
Symbolic checks make household robot plans safer and cheaper to repair
SAGE blocks actions that violate environmental preconditions and regenerates only the affected portion of an LLM-generated plan.
Industry
Trung Minh Bui · JongSul Moon · YoungOuk Kim · Quang-Ngoc Phung · Se-Woong Jun · Dongin Shin
Korea Electronics Technology Institute (KETI)
Research Digest··2 min read
Bui et al.
Why this paper
From Korea Electronics Technology Institute (KETI)
In one line
SAGE adds a zero-token symbolic precondition gate and sub-goal-local replanning to LLM planners, improving safety and recovery efficiency.
What we could check
- ·No code link found
- ·No weights link found
- ·No dataset link found
- ·No compute details found
- ·No stated limitations found
- ✓Reports numbers on named benchmarks
Observed from the paper text and links we have. Absence here means we did not find it, not that it does not exist.
§