mlsanityData to 7 Oct 2026

Learning to Theorize the World from Observation

arXiv 2605.03413 ↗First posted 5 May 2026cs.LG cs.AIcited by 2

Not on the map. Why?

Abstract (arXiv)

What does it mean to understand the world? Contemporary world models often operationalize understanding as accurate future prediction in latent or observation space. Developmental cognitive science, however, suggests a different view: human understanding emerges through the construction of internal theories of how the world works, even before mature language is acquired. Inspired by this theory-building view of cognition, we introduce Learning-to-Theorize, a learning paradigm for inferring explicit explanatory theories of the world from raw, non-textual observations. We instantiate this paradigm with the Neural Theorizer (NEO), a World Theory Model, that induces latent programs as a learned Language of Thought and executes them through a shared transition model. In NEO, a theory is represented as an executable, compositional program whose learned primitives can be systematically recombined to explain novel phenomena. Experiments show that this formulation enables explanation-driven generalization, allowing observations to be understood in terms of the programs that generate them.

Key facts. Cited by 2 papers in the map (data through 7 Oct 2026). Builds on 22 of its 47 references that are in the map. First posted on arXiv 5 May 2026.

Builds on

22 of 47 references.

References · 22

  1. 2017Neural Discrete Representation Learningcited by 4,650
  2. 2019Dream to Control: Learning Behaviors by Latent Imaginationcited by 1,598
  3. 2018Learning Latent Dynamics for Planning from Pixelscited by 1,221
  4. 2020Mastering Atari with Discrete World Modelscited by 990
  5. 2014Neural Turing Machinescited by 630
  6. 2015Neural Module Networkscited by 375
  7. 2019The Neuro-Symbolic Concept Learner: Interpreting Scenes, Words, and Sentences From Natural Supervisioncited by 369
  8. 2024Latent Action Pretraining from Videoscited by 302
  9. 2026LeWorldModel: Stable End-to-End Joint-Embedding Predictive Architecture from Pixelscited by 237
  10. 2020DreamCoder: Growing generalizable, interpretable knowledge with wake-sleep Bayesian program learningcited by 159
  11. 2023Learning to Act without Actionscited by 116
  12. 2024Is Sora a World Simulator? A Comprehensive Survey on General World Models and Beyondcited by 111
10 more
  1. 2020A Benchmark for Systematic Generalization in Grounded Language Understandingcited by 108
  2. 2015Neural Programmer-Interpreterscited by 96
  3. 2020Learning Compositional Rules via Neural Program Synthesiscited by 74
  4. 2024Adaptive Length Image Tokenization via Recurrent Allocationcited by 40
  5. 2023Hierarchical Programmatic Reinforcement Learning via Learning to Compose Programscited by 20
  6. 2025Single-pass Adaptive Image Tokenization for Minimum Program Searchcited by 11
  7. 2016Differentiable Functional Program Interpreterscited by 6
  8. 2023Imagine the Unseen World: A Benchmark for Systematic Generalization in Visual World Modelscited by 6
  9. 2026Gradient-Based Program Synthesis with Neurally Interpreted Languagescited by 3
  10. 2025A Compressive-Expressive Communication Framework for Compositional Representationscited by 1

Built on by

Cited by year (2026 to 7 Oct)

Citing papers per year: 2026: 2.

2 papers.

Similar, not cited

Close in wording, no citation either way

  1. 2026Do World Models Learn Global Understanding?
  2. 2025Beyond World Models: Rethinking Understanding in AI Models
  3. 2026Human Cognition in Machines: A Unified Perspective of World Models
  4. 2023From Word Models to World Models: Translating from Natural Language to the Probabilistic Language of Thought
  5. 2024Analyzing the Roles of Language and Vision in Learning from Limited Data
  6. 2025World Models in Artificial Intelligence: Sensing, Learning, and Reasoning Like a Child
  7. 2026Induction and Inquiry via Probabilistic Reasoning over Language and Code
  8. 2025What Does it Mean for a Neural Network to Learn a "World Model"?