====== Language to Programs ======

==== General Program Synthesis ====
See summary here ([[https://www.aclweb.org/anthology/D17-1081.pdf|Sachan 2017]])
  * [[https://arxiv.org/pdf/1611.01867.pdf|Chen et al 2016 - Latent Attention For If-Then Program Synthesis]]
  * [[https://arxiv.org/pdf/1704.01696.pdf|Yin & Neubig 2017 - A Syntactic Neural Model for General-Purpose Code Generation]]
  * [[https://arxiv.org/pdf/2203.07814.pdf|Li et al 2022 - Competition-Level Code Generation with AlphaCode]] [[https://alphacode.deepmind.com/|website]] [[https://www.deepmind.com/blog/competitive-programming-with-alphacode|blog post]] Treats competitive coding as seq2seq from problem description to code solution.

==== Code Generation ====
  * AlphaCode: [[https://arxiv.org/pdf/2203.07814.pdf|Li et al 2022 - Competition-Level Code Generation with AlphaCode]]

==== Image to Latex====

==== Language to SQL ====

==== Language to App ====
  * **Overviews**
    * [[https://arxiv.org/pdf/2410.01026|2024 - Understanding the Human-LLM Dynamic: A Literature Survey of LLM Use in Programming Tasks]]
  * **People**
    * [[https://scholar.google.com/citations?user=OJBv75IAAAAJ&hl=en|Kristian Kolthoff]]
  * [[https://ranjithakumar.net/resources/rico.pdf|Deka et al 2017 - Rico: A Mobile App Dataset for Building Data-Driven Design Applications]]
  * [[https://arxiv.org/pdf/2104.08301|Hasan et al 2021 - Text2App: A Framework for Creating Android Apps from Text Descriptions]]
  * [[https://arxiv.org/pdf/2405.00229|Patton et al 2024 - Aptly: Making Mobile Apps from Natural Language]]
  * [[https://arxiv.org/pdf/2406.08120|Kolthoff et al 2024 - Interlinking User Stories and GUI Prototyping: A Semi-Automatic LLM-based Approach]]
  * [[https://arxiv.org/pdf/2412.11328|Kolthoff et al 2024 - Zero-Shot Prompting Approaches for LLM-based Graphical User Interface Generation]]

==== Autotomated Program Verification and NLP ====
  * [[https://arxiv.org/abs/2310.04870|Wu et al 2023 - Lemur: Integrating Large Language Models in Automated Program Verification]]

===== Systems and Tools =====
  * [[https://copilot.github.com/|Github Copilot]] Powered by OpenAI's [[https://gpt3demo.com/apps/openai-codex|Codex]]. "With GitHub Copilot, get suggestions for whole lines or entire functions right inside your editor."
  * [[https://cursor.com/|Cursor]]
  * [[https://zencoder.ai/|Zencoder]] Apparently pretty good according to [[https://www.reddit.com/r/OpenAI/comments/1m54yjx/all_ai_coding_agents_you_know/|this]]
  * Lists of coding assistants and tools
    * [[https://www.reddit.com/r/OpenAI/comments/1m54yjx/all_ai_coding_agents_you_know/|All AI Coding Agents You Know]]
    * [[https://www.qodo.ai/blog/best-ai-coding-assistant-tools/|Best AI Coding Assistant Tools]]
  * [[https://alphacode.deepmind.com/|AlphaCode]]: [[https://arxiv.org/pdf/2203.07814.pdf|paper]] [[https://www.deepmind.com/blog/competitive-programming-with-alphacode|blog post]]


===== Related Pages =====
  * [[ml:Program Induction]]
  * [[Semantic Parsing]]
  * [[Semantic_representations#Programs as Semantic Representations]]