Symbolic World Models - Top Piriyakulkij

Symbolic World Models - Top Piriyakulkij

Wasu "Top" Piriyakulkij, PhD student at Cornell University advised by Kevin Ellis, discusses his paper "PoE-World: Compositional World Modeling with Products of Programmatic Experts." The episode explores how symbolic, programmatic world models can achieve strong generalization and sample efficiency by composing many small causal programs instead of learning a single monolithic model.


The conversation traces how PoE-World emerged from earlier work on active concept learning and hypothesis testing, and how object-centric Atari environments became a natural testbed for scaling symbolic world models beyond grid worlds. Piriyakulkij reflects on design failures, surprising successes, and the moment the learned world model became interactive enough to serve as a real-time simulator.


In This Episode -


• Symbolic vs. neural world models

• Products of programmatic experts

• Modular causal rules as world models

• Object-centric Atari environments

• Montezuma’s Revenge as exploration benchmark

• Sample-efficient learning from demonstrations

• Weights as expert confidence signals

• World models as executable simulators

• Exploration as program testing


References -


• WorldCoder - https://arxiv.org/abs/2402.12275

• Object-Centric Atari - https://arxiv.org/abs/2306.08649v2

• ARC-AGI-3 - https://arcprize.org

• VisualPredicator - https://arxiv.org/abs/2410.23156

• People: Marvin Minsky, François Chollet, Armando Solar-Lezama


About the Paper -


"PoE-World: Compositional World Modeling with Products of Programmatic Experts"

Authors: Wasu Top Piriyakulkij, Yishou Wang, Hao Tang, Martha Lewis, Kevin Ellis


The paper introduces a symbolic world modeling framework in which many small, interpretable programs - each encoding a simple causal rule - are combined multiplicatively into a probabilistic world model. By learning weights over these programmatic experts from limited demonstrations, the system produces accurate, stochastic simulators that generalize to new environments with minimal data.


https://arxiv.org/abs/2505.10819


About the Guest -


Wasu Top Piriyakulkij is a PhD student at Cornell University advised by Kevin Ellis. His research focuses on symbolic world models, program synthesis, and human-like learning and exploration in artificial agents. He is particularly interested in how compositional structure enables generalization in complex environments.

• https://www.cs.cornell.edu/~wp237/

• https://scholar.google.com/citations?user=nlO1TkkAAAAJ&hl=en


Credits -


• Host & Music: Bryan Landers, Technical Staff, Ndea

• Editor: Alejandro Ramirez

• https://x.com/ndea

• https://x.com/bryanlanders

• https://ndea.com

Det här avsnittet är hämtat från ett öppet RSS-flöde och publiceras inte av Podme. Det kan innehålla reklam.

Avsnitt(14)

Inventing Inductive Logic Programming - Stephen Muggleton

Inventing Inductive Logic Programming - Stephen Muggleton

Stephen Muggleton, Emeritus Professor at Imperial College London, discusses his paper “Inductive Logic Programming”, which introduced and named the field. The paper presents a framework that combines ...

18 Juni 57min

Recursive Program Synthesis - Aws Albarghouthi

Recursive Program Synthesis - Aws Albarghouthi

Aws Albarghouthi, Associate Professor of Computer Science at the University of Wisconsin-Madison, discusses his paper “Recursive Program Synthesis”, which introduced Escher, an inductive synthesis alg...

27 Maj 55min

DreamCoder's Wake-Sleep Library Learning - Kevin Ellis

DreamCoder's Wake-Sleep Library Learning - Kevin Ellis

Kevin Ellis, Assistant Professor at Cornell University, discusses his influential paper “DreamCoder,” which presents a system that jointly learns reusable program abstractions and a neural search stra...

7 Apr 47min

Semantic Programming by Example with Pre-trained Models - Gust Verbruggen

Semantic Programming by Example with Pre-trained Models - Gust Verbruggen

Gust Verbruggen, Senior AI researcher and member of the PROSE team at Microsoft, discusses his paper "Semantic Programming by Example with Pre-trained Models," which introduces a framework for integra...

3 Mars 1h 15min

February 2026 Podcast Recap

February 2026 Podcast Recap

Program synthesis is the problem of automatically generating code that satisfies a specification. The real challenge isn’t searching faster, it’s making the right parts of the search space searchable ...

9 Feb 6min

Relational Decomposition for Program Synthesis - Céline Hocquette

Relational Decomposition for Program Synthesis - Céline Hocquette

The way a problem is represented can determine whether it is solvable at all.Céline Hocquette, AI researcher at Ndea and former postdoctoral researcher at the University of Oxford, discusses her paper...

2 Feb 47min

Vision-Language Programs - Antonia Wüst

Vision-Language Programs - Antonia Wüst

Antonia Wüst, PhD student at TU Darmstadt, discusses her paper "Synthesizing Visual Concepts as Vision-Language Programs," which introduces a neurosymbolic approach to visual concept induction by comb...

19 Jan 54min

Populärt inom Teknik

uppgang-och-fall
natets-morka-sida
elbilsveckan
bilar-med-sladd
market-makers
rss-technokratin
skogsforum-podcast
bli-saker-podden
rss-elektrikerpodden
rss-uppgang-och-fall
rss-snacka-om-ai
ai-sweden-podcast
dom-kallar-oss-krypto
hej-bruksbil
rss-heja-framtiden
rss-en-ai-till-kaffet
rss-laddstationen-med-elbilen-i-sverige
developers-mer-an-bara-kod
rss-veckans-ai
har-vi-akt-till-mars-an