PLANS: Robust Program Learning from Neurally Inferred Specifications