Why shouldn’t they be able to do this? DNNs implicitly learn a type theory, which they then reason in. Even though the code itself is new, it’s expressible in

Why shouldn’t they be able to do this? DNNs implicitly learn a type theory, which they then reason in. Even though the code itself is new, it’s expressible in the learned theory — so the DNN can operate on it.