Program Synthesis

Program synthesis is the process of automatically generating a program or code snippet that satisfies a given specification or set of requirements. This can include generating code from a formal specification, a natural language description, or example inputs and outputs. The primary goal of program synthesis is to minimize human intervention in the coding process, reduce errors, and improve productivity.

Program synthesis often involves the use of advanced algorithms, artificial intelligence, and machine learning techniques to search the space of possible programs that meet the given constraints. This process can be guided by a variety of techniques, such as constraint solving, symbolic execution, and genetic algorithms.

Papers

Recently Added Most Hyped Most Active Needs Verification Most Verified

Showing 131–140 of 423 papers

Title	Date	Tasks	Status	Score
Learning to Execute Programs with Instruction Pointer Attention Graph Neural Networks	Oct 23, 2020	Code CompletionLearning to Execute	CodeCode Available	5
Learning of Generalizable and Interpretable Knowledge in Grid-Based Reinforcement Learning Environments	Sep 7, 2023	Atari GamesDecision Making	CodeCode Available	5
Learning logic programs by combining programs	Jun 1, 2022	Inductive logic programmingProgram Synthesis	CodeCode Available	5
Analysis of Evolutionary Program Synthesis for Card Games	Jan 8, 2021	Card GamesDecision Making	CodeCode Available	5
Automatic Synthesis of Diverse Weak Supervision Sources for Behavior Analysis	Nov 30, 2021	DiversityProgram Synthesis	CodeCode Available	5
Learning MDL logic programs from noisy data	Aug 18, 2023	Drug DesignInductive logic programming	CodeCode Available	5
Learning to Infer Graphics Programs from Hand-Drawn Images	Jul 30, 2017	Program Synthesis	CodeCode Available	5
Learning logic programs by discovering higher-order abstractions	Aug 16, 2023	Inductive logic programmingProgram Synthesis	CodeCode Available	5
Learning logic programs by discovering where not to search	Feb 20, 2022	Inductive logic programmingProgram Synthesis	CodeCode Available	5
ConceptSearch: Towards Efficient Program Search Using LLMs for Abstraction and Reasoning Corpus (ARC)	Dec 10, 2024	ARCFew-Shot Learning	CodeCode Available	5

Show:10 25 50

← PrevPage 14 of 43Next →

All datasets SPoC TestP SPoC TestW AlgoLisp

Benchmark Results

#	Model	Metric	Claimed	Verified	Status
1	DrRepair	Success rate @budget 100	38.5	—	Unverified
2	Multiclass localizer	Success rate @budget 100	34.2	—	Unverified

#	Model	Metric	Claimed	Verified	Status
1	DrRepair	Success rate @budget 100	57	—	Unverified
2	Multiclass localizer	Success rate @budget 100	53.7	—	Unverified

#	Model	Metric	Claimed	Verified	Status
1	CodeTrans-MT-TF-Small	Accuracy	90.31	—	Unverified