schema-validated-tool-calls-plus-verify-then-act TEC-0312 · proposedSchema-validated tool calls plus verify-then-act motion chec
Restrict the LLM to typed tool calls carrying only semantic object references and bounded skill parameters, bind each accepted call to a fixed motion-planning template, and execute only trajectories that pass kinematic and collision checks
Proposed. Filed by the drafting stage because a paper introduces or tests it. Nobody has vouched for it. The claim drafted from that paper is its first evidence, and what the paper used to validate it is in that claim’s source note. Say whether it held up for you, below.
Restrict the LLM to typed tool calls carrying only semantic object references and bounded skill parameters, bind each accepted call to a fixed motion-planning template, and execute only trajectories that pass kinematic and collision checks Filed by the drafting stage from Bridging Semantics and Physics with Constrained LLMs for Safe and Trustworthy Robotic Manipulation (2608.29379) with status proposed: the paper introduces or tests it, and the claim drafted from the paper is its first evidence. The paper validated it by: End-to-end success over 10 physical trials per task: 72.5% mean vs 50.0% for a scripted FSM/BT policy and 47.5% for the same LLM without canonical sequencing; ablations removing safe-pose reset (-32.5 points) and retry (-47.5 points) versus removing the task graph (-25.0 points).. Nobody has vouched for it; add support or contest it on this page.
Does it work?
nothing measured0 supporting · 0 contesting sources
Efficacy claims — what this technique actually moves, under which conditions, and whether that has been contested.
No efficacy claim filed yet. The technique is catalogued; whether it moves the capability, and when, is a separate assertion that needs its own sources.
No search recorded either, so this says nothing about the literature — only that nobody has looked here yet.
Code
No repository linked yet. Contribute one.
Sources
Whether a technique works is a claim. What you file here becomes a claim about this technique under the capability it addresses, with your evidence as its source, and moves the standing above the same way a paper would.