A task-semantic evaluation suite for LeWM

CLEAR-LeWM

Junhan Sun1 Guofeng Zhang1,† Hao Zhao2,†

1State Key Laboratory of CAD&CG, Zhejiang University  |  2Tsinghua University  |  Corresponding authors

Task completion, not proxy success.

Four corrected task contracts, two calibrated protocols, and complete provenance for measuring world-model control beyond permissive endpoint proxies.

4
task contracts
2
difficulty modes
16
audited v0.3 runs
37
automated tests

One benchmark.Four task-semantic contracts.

See how CLEAR-LeWM replaces permissive proxies
with explicit, reproducible task rules.

A high score should mean the task was actually solved.

The historical LeWM evaluator can assign stable success to random actions and can reward physically invalid or task-irrelevant endpoints. This weakens its ability to distinguish improvements to the model itself.

CLEAR-LeWM replaces those proxies with task-native geometry, temporal hold rules, route legality, and deterministic evaluation pairs. Every score remains traceable to a frozen goal, seed, solver budget, checkpoint, and protocol version.

Historical success can survive without a useful controller.

Random-policy success rate, 100 deterministic evaluation pairs per protocol. Lower is better.

Choose the question your experiment needs to answer.

01

Moderate

Practical model-selection protocol with corrected semantics and attainable tolerances.

TaskSuccess contract
PushTBlock pose < 20 px / < 20 deg, held for 3 frames; displacement >= 25 px
CubePosition <= 4 cm; symmetry-aware angle <= 30 deg, held for 3 frames
ReacherWrapped joint error < 0.075 rad; first valid arrival
TwoRoomLegal swept-disk route across rooms; endpoint < 12 px, held for 3 frames

The metric follows the task, frame by frame.

Each evaluator isolates the object, geometry, or route that determines completion and exposes its decision trace for audit.

PushT trace showing the block pose metric over time

01 / PushT

Score the T-block, not the pusher.

Object pose, angular error, displacement, and temporal hold determine success. The pusher endpoint is task-irrelevant.

Read the task contract
Cube trace showing symmetry-aware position and orientation metrics

02 / Cube

Respect the cube's 24 rotational symmetries.

Orientation error is minimized over proper cube rotations, then combined with target position and a hold requirement.

Read the task contract
Reacher trace showing wrapped joint error and first arrival

03 / Reacher

Measure joint geometry without angle-wrap artifacts.

Wrapped joint distance defines arrival, while the trace keeps arrival and later stabilization conceptually separate.

Read the task contract
TwoRoom trace showing a collision-free cross-room route

04 / TwoRoom

Require a physically legal route through the door.

Swept-disk collision, eroded door clearance, cross-room topology, and endpoint accuracy jointly define success.

Read the task contract

A lower random floor reveals useful separation.

Official high-epoch LeWM checkpoints, seed 42, 100 deterministic pairs, 300 x 30 CEM, solver batch size 1. Cells report model / random SR (%).

Task Historical Moderate Strict Strict excess
PushT89 / 793 / 779 / 2+77 pp
Cube62 / 4743 / 418 / 3+15 pp
Reacher87 / 1690 / 1736 / 4+32 pp
TwoRoom85 / 3061 / 224 / 0+24 pp

Strict excess is model SR minus the matched random-policy SR.

Install, audit, evaluate.

CLEAR-LeWM is MIT-licensed and ships task contracts, deterministic protocols, provenance records, and automated tests in one public repository.

Shell
git clone --recurse-submodules https://github.com/DavidSunok/CLEAR-LeWM.git
cd CLEAR-LeWM
python -m venv .venv
source .venv/bin/activate
pip install -e '.[dev,lewm]'

Built for comparable world-model control research.

Versioned criteria keep future model changes comparable to the same physical and task-semantic standard. Cite the repository and protocol version used in your report.