See summary here (Sachan 2017)

• Chen et al 2016 - Latent Attention For If-Then Program Synthesis
• Yin & Neubig 2017 - A Syntactic Neural Model for General-Purpose Code Generation
• Li et al 2022 - Competition-Level Code Generation with AlphaCode website blog post Treats competitive coding as seq2seq from problem description to code solution.

• AlphaCode: Li et al 2022 - Competition-Level Code Generation with AlphaCode

• Wu et al 2023 - Lemur: Integrating Large Language Models in Automated Program Verification

• Github Copilot Powered by OpenAI's Codex. “With GitHub Copilot, get suggestions for whole lines or entire functions right inside your editor.”
• AlphaCode: paper blog post

• Program Induction
• Semantic Parsing
• Programs as Semantic Representations