NEURAL INFERENCE OF PROGRAM SPECIFICATIONS