Comment by xpe

Program synthesis is a generalization of this. I’m not sure that many ML researchers have thought about the connections yet.