Inference Over Programs That Make Predictions
  This abstract extends on the previous work (arXiv:1407.2646,
arXiv:1606.00075) on program induction using probabilistic programming. It
describes possible further steps to extend that work, such that, ultimately,
automatic probabilistic program synthesis can generalise over any reasonable
set of inputs and outputs, in particular in regard to text, image and video
data.
