Papers Program Synthesis
“Program Synthesis” 태그가 달린 논문 538편 · 필터 해제
A Divide-Align-Conquer Strategy for Program Synthesis
A major bottleneck in search-based program synthesis is the exponentially growing search space which makes learning large programs intractable. Humans mitigate this problem by leveraging the compositional nature of the r…
ARCInductive logic programmingProgram SynthesisVisual ReasoningInformed Down-Sampled Lexicase Selection: Identifying productive training cases for efficient problem solving
Genetic Programming (GP) often uses large training sets and requires all individuals to be evaluated on all training cases during selection. Random down-sampled lexicase selection evaluates individuals on only a random s…
Program SynthesisParsel: Algorithmic Reasoning with Language Models by Composing Decompositions
Despite recent success in large language model (LLM) reasoning, LLMs struggle with hierarchical multi-step reasoning tasks like generating complex programs. For these tasks, humans often start with a high-level algorithm…
Automated Theorem ProvingCode GenerationHumanEvalLanguage Modelling+3Unveiling Code Pre-Trained Models: Investigating Syntax and Semantics Capacities
Past research has examined how well these models grasp code syntax, yet their understanding of code semantics still needs to be explored. We extensively analyze seven code models to investigate how code models represent …
Code CompletionCode SearchLanguage ModellingProgram SynthesisGenetic Algorithm for Program Synthesis
A deductive program synthesis tool takes a specification as input and derives a program that satisfies the specification. The drawback of this approach is that search spaces for such correct programs tend to be enormous,…
Program SynthesisProgramming by Example and Text-to-Code Translation for Conversational Code Generation
Dialogue systems is an increasingly popular task of natural language processing. However, the dialogue paths tend to be deterministic, restricted to the system rails, regardless of the given request or input text. Recent…
Code GenerationCode TranslationProgram SynthesisNESTER: An Adaptive Neurosymbolic Method for Causal Effect Estimation
Causal effect estimation from observational data is a central problem in causal inference. Methods based on potential outcomes framework solve this problem by exploiting inductive biases and heuristics from causal infere…
Causal InferenceProgram SynthesisLarge Language Models Are Human-Level Prompt Engineers
By conditioning on natural language instructions, large language models (LLMs) have displayed impressive capabilities as general-purpose computers. However, task performance depends significantly on the quality of the pr…
Few-Shot LearningIn-Context LearningInformativenessProgram Synthesis+1Synthesizing Programs with Continuous Optimization
Automatic software generation based on some specification is known as program synthesis. Most existing approaches formulate program synthesis as a search problem with discrete parameters. In this paper, we present a nove…
Program SynthesisGenerating Sequences by Learning to Self-Correct
Sequence generation applications require satisfying semantic constraints, such as ensuring that programs are correct, using certain keywords, or avoiding undesirable content. Language models, whether fine-tuned or prompt…
Language ModelingLanguage ModellingProgram SynthesisGraphs, Constraints, and Search for the Abstraction and Reasoning Corpus
The Abstraction and Reasoning Corpus (ARC) aims at benchmarking the performance of general artificial intelligence algorithms. The ARC's focus on broad generalization and few-shot learning has made it difficult to solve …
ARCBenchmarkingFew-Shot LearningProgram SynthesisData types as a more ergonomic frontend for Grammar-Guided Genetic Programming
Genetic Programming (GP) is an heuristic method that can be applied to many Machine Learning, Optimization and Engineering problems. In particular, it has been widely used in Software Engineering for Test-case generation…
AttributeProgram SynthesisRelational program synthesis with numerical reasoning
Program synthesis approaches struggle to learn programs with numerical values. An especially difficult problem is learning continuous values over multiple examples, such as intervals. To overcome this limitation, we intr…
Inductive logic programmingProgram SynthesisRelational ReasoningNeural-Guided Program Synthesis of Information Extraction Rules Using Self-Supervision
We propose a neural-based approach for rule synthesis designed to help bridge the gap between the interpretability, precision and maintainability exhibited by rule-based information extraction systems with the scalabilit…
Language ModelingLanguage ModellingProgram SynthesisToward Trustworthy Neural Program Synthesis
We develop an approach to estimate the probability that a program sampled from a large language model is correct. Given a natural language description of a programming problem, our method samples both candidate programs …
Language ModelingLanguage ModellingLarge Language ModelProgram SynthesisKnowledge-Driven Program Synthesis via Adaptive Replacement Mutation and Auto-constructed Subprogram Archives
We introduce Knowledge-Driven Program Synthesis (KDPS) as a variant of the program synthesis task that requires the agent to solve a sequence of program synthesis problems. In KDPS, the agent should use knowledge from th…
Program SynthesisLimits of an AI program for solving college math problems
Drori et al. (2022) report that "A neural network solves, explains, and generates university math problems by program synthesis and few-shot learning at human level ... [It] automatically answers 81\% of university-level…
Few-Shot LearningMathProgram SynthesisCORNET: Learning Table Formatting Rules By Example
Spreadsheets are widely used for table manipulation and presentation. Stylistic formatting of these tables is an important property for both presentation and analysis. As a result, popular spreadsheet software, such as E…
Program SynthesisLearning programs with magic values
A magic value in a program is a constant symbol that is essential for the execution of the program but has no clear explanation for its choice. Learning programs with magic values is difficult for existing program synthe…
Drug DesignInductive logic programmingProgram SynthesisPanGu-Coder: Program Synthesis with Function-Level Language Modeling
We present PanGu-Coder, a pretrained decoder-only language model adopting the PanGu-Alpha architecture for text-to-code generation, i.e. the synthesis of programming language solutions given a natural language problem de…
Code GenerationDecoderLanguage ModelingLanguage Modelling+2