TY  - RPRT
TI  - When a Verified World Model Still Loses: Play-Adequacy vs Prediction-Accuracy in LLM-Synthesized Code World Models
AU  - Javier Aguilar Martín
PY  - 2026
UR  - https://arxiv.org/abs/2607.14169
ID  - 2607.14169
ER  -