Neuro-Symbolic Program Synthesis
Automated feedback generation for introductory programming assignments