Neurosymbolic Program Induction Tracker

2026-07-09

A DreamCoder-style test of semantic primitives

A focused reading of Peter Balogh's 2026 arXiv paper on wake-sleep operator discovery for event semantics. The article explains how the method ports DreamCoder-style library learning to before-and-after world states, what the ATOMIC and GLUCOSE results show, and why the missing neural recognizer still matters.

Neurosymbolic Program Induction Tracker

aDSL makes 3D spatial relations executable, then lets the critic repair them

Hypothesis Frontier 把验证器变成搜索状态，却没有学习 DreamCoder 式库

Solver-aware decomposition trades ground-truth subgoals for tractable program search

Neural Language Interpreter learns a program language and searches it with gradients

DreamCoder learns photonic decomposition rules that scale beyond the training dimension

A DreamCoder-style test of semantic primitives