Track manipulation, locomotion and embodied systems.
Search papers, labs, and topics across Lattice.
SAGE decouples safety verification from generative inference in embodied agents by pairing a domain-agnostic, zero-token symbolic precondition gate with localized sub-goal suffix regeneration and a hybrid memory store. This deterministic verify-before-execute architecture avoids the latency, token overhead, and hallucination risks of LLM-based verifiers and full-plan regenerators. Tested under a leak-free protocol across five open-weight models in AI2-THOR, SAGE achieves up to a +0.23 gain in compositional goal completeness over hierarchical baselines while matching recovery rates of full replanners at 2.4–3.3× fewer model calls.
Replacing full-plan LLM regeneration with a 250-line deterministic symbolic gate slashes replanning calls by over 3× while boosting multi-goal embodied task completeness by up to 23%.
Large language models (LLMs) are now the default cognitive core of embodied household agents, yet the plans they emit are rarely checked against a grounded model of the environment before execution, and the task-success they report is often measured on benchmarks so saturated that no method can be separated from another. We present SAGE (Symbolic Action-Gating and Editing), a single-LLM planner built from two lightweight mechanisms: a domain-agnostic symbolic gate (~250 lines of Python, zero tokens, $O(|π|)$) that blocks precondition-violating actions with typed reasons as a runtime safety monitor, and a local edit that regenerates only the failed sub-goal's suffix, keeping completed and untouched work intact; a hybrid seed+live memory store supports cold-start coverage. We evaluate under a leak-free protocol (leave-one-out retrieval) over five open-weight models and a 75-task AI2-THOR benchmark. On the standard benchmark goal-completeness saturates (52% of instances trivially solved) and SAGE ties strong hierarchical baselines. On a harder, method-agnostic multi-goal composition, SAGE's completeness lead re-emerges large (+0.06 to +0.23 across four models). Under injected mid-execution failures, SAGE recovers as reliably as whole-plan replanners at 2.4-3.3x fewer LLM calls. As a verify-before-execute gate, the symbolic monitor blocks unsafe actions before actuation and raises simulator-reported step-success for every planner tested (up to +0.11), a signal the verifier never sees (non-circular). Because the gate calls no model (0.008 ms/plan), it is a safety layer that runs essentially free on the edge: SAGE planning reproduces its quality on a Jetson AGX Orin, where small-model verification helps most. We release the benchmark, the leak-free protocol, the recovery and safety-gate harnesses, and a verifier-portability study (auto-induced on ALFWorld, 0.89 held-out).