Differences

This shows you the differences between two versions of the page.

--- nlp:language_to_programs [2022/07/20 07:53] – [General Program Synthesis] jmflanig
+++ nlp:language_to_programs [2025/10/08 08:46] (current) – [Systems and Tools] jmflanig
@@ Line 5: / Line 5: @@
   * [[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]]
+  * [[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 ====
-===== Systems =====
+==== 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://alphacode.deepmind.com/|AlphaCode]]:
+  * [[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]]