Meanwhile, a program synthesis engine with a basic DSL that contains `add` and `for` can use just a handful of training examples to synthesize a multiplication function that will generalize *exactly*, to any new input — not even tied to a specific input distribution.

→ View original post on X — @fchollet,