Deduction-Powered Neural Program Synthesis: A Synergistic Perspective