Grounded World Models: Efficient and Verifiable Structural Causal Prediction
Abstract
Investment decisions require predictive forecasts under hypothetical interventions which are coherently justified by the sum of available evidence. We argue this problem class selects a model class: the grounded world model (GWM), a verified, composable causal model whose every prediction is a Bayesian posterior under an explicit mechanism. We formalize GWMs and compare them theoretically and empirically with the default alternative: directly prompting a large language model (LLM) for predictions. Theoretically, we establish dominance results along both the efficiency and quality axes, which compound. Empirically, we benchmark Primordia’s investment GWM against a SOTA LLM (Claude Opus 4.8) on a standard investment analysis task. We show that GWMs’ explicit mechanistic, theory-aligned structure allows for parsimony compared to general-purpose LLMs, enabling incremental prediction at lower cost and lower latency, while achieving greater quality. Further, we show that any LLM predictor’s quality stays below the GWM’s at any finite cost, with cost per prediction diverging as that shared ceiling is approached. We propose a hybrid neurosymbolic structure—GWM as predictor, LLM as natural-language interface and query orchestrator—as the theoretically and empirically superior architecture for investment and other high-stakes real-world decision domains. 111Primordia v1 is generally available at https://app.primordia.ai; reproduction code and reference GWM outputs are released at https://github.com/primordia-ai/gwm-nwm-comparison-public.
- 1 Introduction
- 2 The Grounded World Model, Formally
- 3 Benchmarking the Costs of Grounded Prediction
- 4 Discussion
- 5 Conclusion
- Acknowledgments
- A Instantiation of Numerical Weather Prediction as a GWM
- B The Returns to Crystallization
- C Explanation-Quality Components and Heuristic Parameter Derivations
- D The Sampling Budget: Latency vs Residual Monte-Carlo Error
- E A Worked Example: GWM vs NWM on One Case
- F Cost-Model Details
- G Proofs
- H On the Internal Representations of Language Models
- I Notation and Parameter Provenance
- References