Neurosymbolic Program Induction Tracker Content Archive
6 posts · Page 1 of 1
- A DreamCoder-style test of semantic primitives
- DreamCoder learns photonic decomposition rules that scale beyond the training dimension
- Neural Language Interpreter learns a program language and searches it with gradients
- Solver-aware decomposition trades ground-truth subgoals for tractable program search
- Hypothesis Frontier 把验证器变成搜索状态，却没有学习 DreamCoder 式库
- aDSL makes 3D spatial relations executable, then lets the critic repair them