3 papers
cs.LG2026
An Enclosed Mode Is a Gauge Choice: Topology Relative to Reach in Certified Code World Models
Javier Aguilar Martín
A code world model accepted by a sampling gate can be exactly right on everything the gate can see and arbitrarily wrong beyond it. We characterize what a certified model can know,…
cs.LG2026
An Omitted Mode Is a Rare Rule: The Sampling-Verification Danger Law in Continuous Code World Models
Javier Aguilar Martín
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. W…
cs.AI2026
When a Verified World Model Still Loses: Play-Adequacy vs Prediction-Accuracy in LLM-Synthesized Code World Models
Javier Aguilar Martín
Large language models can synthesize a game's rules as executable code - a Code World Model (CWM) - which a classical planner then searches over. Such models are typically accepted…