mdd:neuro-symbolic_program_synthesis