BDDL-based symbolic verification and GroupAdapt scheduling let an 8B RL planner reach 97.3 Strict-Pass on BEHAVIOR-1000 with 79 percent shorter plans than prior baselines.
</think> Executable plan <answer><steps>
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.RO 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Plan Right, Then Plan Tight: Symbolic RL for Efficient Embodied Reasoning
BDDL-based symbolic verification and GroupAdapt scheduling let an 8B RL planner reach 97.3 Strict-Pass on BEHAVIOR-1000 with 79 percent shorter plans than prior baselines.