Program Synthesis with Large Language Models
2021. [All Versions]. This paper explores the limits of the current generation of large language models for program synthesis in general purpose programming languages.
- from
- AGI & CoCoSci
- added
- 2026-10-10
- likes
- 0
similar
-
Mathematical discoveries from program search with large language models nature.com
Nature, 2024. [All Versions]. Large language models (LLMs) have demonstrated tremendous capabilities in solving complex tasks, from quantitative reasoning to understanding natural language. However, LLMs sometimes suffer from confabulations (or hallucinations), which can result…
-
On the Effectiveness of Large Language Models in Domain-Specific Code Generation dl.acm.org
ACM Transactions on Software Engineering and Methodology, 2025. [All Versions]. Large language models (LLMs) such as ChatGPT have shown remarkable capabilities in code generation. Despite significant achievements, they rely on enormous training data to acquire a broad spectrum…
-
How large language models need symbolism academic.oup.com
National Science Review, 2025. [All Versions]. Advances in artificial intelligence (AI), particularly large language models (LLMs), have achieved remarkable success. This progress stems from ‘scaling laws’---performance improves with greater computation, data and model size…
-
Large Language Models Meet NL2Code: A Survey aclanthology.org
ACL'23, 2023. [All Versions]. [NL2Code Website]. A paper presenting a comprehensive survey of 27 existing large language models for NL2Code, and also review benchmarks and metrics, suggesting that the key factors contributing to the success of large language models for NL2Code…
-
Large language models for scientific discovery in molecular property prediction nature.com
Nature Machine Intelligence, 2025. [All Versions]. Large language models (LLMs) are a form of artificial intelligence system encapsulating vast knowledge in the form of natural language. These systems are adept at numerous complex tasks including creative writing, storytelling…
-
Synthesizing theories of human language with Bayesian program induction nature.com
Nature Communications, 2022. [All Versions]. Automated, data-driven construction and evaluation of scientific models and theories is a long-standing challenge in artificial intelligence. This work presents a framework for algorithmically synthesizing models of a basic part of…
AGI & CoCoSci › Papers > Inductive Logic & Program Synthesis: “2021. [All Versions]. This paper explores the limits of the current generation of large language models for program synthesis in general purpose programming languages.”