Fig. 3: Inference method for Bayesian Program Learning.
From: Synthesizing theories of human language with Bayesian program induction
To scale to large programs explaining large corpora, we repeatedly search for small modifications to our current theory. Such modifications are driven by counterexamples to the current theory. Blue:grammars. Red: search radius.
