When a Verified World Model Still Loses: Play-Adequacy vs Prediction-Accuracy in LLM-Synthesized Code World Models (Web Pulse, 2026)
Original source: https://arxiv.org/abs/2607.14169