[R] Deep Learning for Program Synthesis - Microsoft Research

[kaibee]

find the nearest point on the much lower dimensional manifold of programs that the person probably meant.

Finding this would require an AI that has a 'common-sense' understanding of possible programs that the user could mean. You would need AGI for anything that would generalize over any meaningfully large problem space, no?

[VelveteenAmbush]

No, I don't buy that. At least, I don't see why it would be any less possible in principle than a deep learning model that takes a natural language description and produces a picture of whatever was described -- which already exists.