Skip to main content
. 2022 Aug 30;13:5024. doi: 10.1038/s41467-022-32012-w

Fig. 3. Inference method for Bayesian Program Learning.

Fig. 3

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.