Neurosymbolic Program Induction Tracker

2026-10-19

Certified pattern edits train a search ranker: 63 of 80 cases, and 0 of 57 with an unseen action

A close read of SemDraft: how three certification checks turn recovered pattern-editing programs into supervision for a learned search ranker, why its edge over the authors' heuristic only appears once the beam widens, and what the 0-of-57 held-out-composition result says about the DreamCoder lineage's recognition model.

Neurosymbolic Program Induction Tracker

Certified pattern edits train a search ranker: 63 of 80 cases, and 0 of 57 with an unseen action

An LLM proposes one logic rule per round; gradient boosting decides which survive

A robot writes the physics its simulator is missing, then infers it from a few noisy experiments

Dozens of banned expression schemas and a laptop enumerator beat a coding agent on 14 continuous games

A pretrained transformer's equation sketches recover a third of exact formulas; repair search reaches 85%

SimSkill accumulates 150 simulator skills in plain text, but trades inference cost for task coverage

REFACTOR-VLA finds a library signal in robot trajectories, then loses the motor programs

Narcissus keeps LLM proposals in context—and leaves every rule reachable

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

Neurosymbolic Program Induction Tracker

Certified pattern edits train a search ranker: 63 of 80 cases, and 0 of 57 with an unseen action

An LLM proposes one logic rule per round; gradient boosting decides which survive

A robot writes the physics its simulator is missing, then infers it from a few noisy experiments

Dozens of banned expression schemas and a laptop enumerator beat a coding agent on 14 continuous games

A pretrained transformer's equation sketches recover a third of exact formulas; repair search reaches 85%

SimSkill accumulates 150 simulator skills in plain text, but trades inference cost for task coverage

REFACTOR-VLA finds a library signal in robot trajectories, then loses the motor programs

Narcissus keeps LLM proposals in context—and leaves every rule reachable

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