An Omitted Mode Is a Rare Rule: The Sampling-Verification Danger Law in Continuous Code World Models
In the Code World Model paradigm an LLM synthesizes an executable world model that a classical planner searches, and the model is accepted when it reproduces sampled transitions. We ask what that acceptance certifies in continuous control. We define the pipeline's danger as an expected risk and isolate its exact factor: the probability that N i.i.d. gate rollouts all miss a critical event of…
We haven't written up this one. arXiv cs.AI has the full story — the link below goes straight to it.
