Table of Contents
Language to Programs
General Program Synthesis
Code Generation
Image to Latex
Language to SQL
Language to App
Autotomated Program Verification and NLP
Systems and Tools
Related Pages
Language to Programs
General Program Synthesis
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.
Code Generation
AlphaCode:
Li et al 2022 - Competition-Level Code Generation with AlphaCode
Image to Latex
Language to SQL
Language to App
Overviews
2024 - Understanding the Human-LLM Dynamic: A Literature Survey of LLM Use in Programming Tasks
People
Kristian Kolthoff
Deka et al 2017 - Rico: A Mobile App Dataset for Building Data-Driven Design Applications
Hasan et al 2021 - Text2App: A Framework for Creating Android Apps from Text Descriptions
Patton et al 2024 - Aptly: Making Mobile Apps from Natural Language
Kolthoff et al 2024 - Interlinking User Stories and GUI Prototyping: A Semi-Automatic LLM-based Approach
Kolthoff et al 2024 - Zero-Shot Prompting Approaches for LLM-based Graphical User Interface Generation
Autotomated Program Verification and NLP
Wu et al 2023 - Lemur: Integrating Large Language Models in Automated Program Verification
Systems and Tools
Github Copilot
Powered by OpenAI's
Codex
. “With GitHub Copilot, get suggestions for whole lines or entire functions right inside your editor.”
Cursor
Zencoder
Apparently pretty good according to
this
Lists of coding assistants and tools
All AI Coding Agents You Know
Best AI Coding Assistant Tools
AlphaCode
:
paper
blog post
Related Pages
Program Induction
Semantic Parsing
Programs as Semantic Representations