SOTAVerified

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 AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 51–100 of 423 papers

TitleStatusHype
Search-Based Regular Expression Inference on a GPUCode1
Emergent Representations of Program Semantics in Language Models Trained on ProgramsCode1
Outline, Then Details: Syntactically Guided Coarse-To-Fine Code GenerationCode1
Improving Code Generation by Training with Natural Language FeedbackCode1
WikiCoder: Learning to Write Knowledge-Powered CodeCode1
xCodeEval: A Large Scale Multilingual Multitask Benchmark for Code Understanding, Generation, Translation and RetrievalCode1
Large Language Models for Code: Security Hardening and Adversarial TestingCode1
NeuRI: Diversifying DNN Generation via Inductive Rule InferenceCode1
PADL: Language-Directed Physics-Based Character ControlCode1
Execution-based Code Generation using Deep Reinforcement LearningCode1
Graphs, Constraints, and Search for the Abstraction and Reasoning CorpusCode1
Data types as a more ergonomic frontend for Grammar-Guided Genetic ProgrammingCode1
Relational program synthesis with numerical reasoningCode1
Learning programs with magic valuesCode1
Learning Math Reasoning from Self-Sampled Correct and Partially-Correct SolutionsCode1
CrossBeam: Learning to Search in Bottom-Up Program SynthesisCode1
Less is More: Summary of Long Instructions is Better for Program SynthesisCode1
Learning Program Synthesis for Integer Sequences from ScratchCode1
GPT-based Open-Ended Knowledge TracingCode1
Explanatory Learning: Beyond Empiricism in Neural NetworksCode1
From Examples to Rules: Neural Guided Rule Synthesis for Information ExtractionCode1
A Neural Network Solves, Explains, and Generates University Math Problems by Program Synthesis and Few-Shot Learning at Human LevelCode1
Scaling Neural Program Synthesis with Distribution-based SearchCode1
Learning to Synthesize Programs as Interpretable and Generalizable PoliciesCode1
Program Synthesis with Large Language ModelsCode1
Unsupervised Learning of Neurosymbolic EncodersCode1
MWP-BERT: Numeracy-Augmented Pre-training for Math Word Problem SolvingCode1
A Reinforcement Learning Environment for Mathematical Reasoning via Program SynthesisCode1
Latent Execution for Neural Program SynthesisCode1
Communicating Natural Programs to Humans and MachinesCode1
Learning to Combine Per-Example Solutions for Neural Program SynthesisCode1
Programming PuzzlesCode1
CodeTrans: Towards Cracking the Language of Silicon's Code Through Self-Supervised Deep Learning and High Performance ComputingCode1
Program Synthesis Guided Reinforcement Learning for Partially Observed EnvironmentsCode1
Fusion 360 Gallery: A Dataset and Environment for Programmatic CAD Construction from Human Design SequencesCode1
SQUARES: A SQL Synthesizer Using Query Reverse EngineeringCode1
Code Building Genetic ProgrammingCode1
SketchGraphs: A Large-Scale Dataset for Modeling Relational Geometry in Computer-Aided DesignCode1
DreamCoder: Growing generalizable, interpretable knowledge with wake-sleep Bayesian program learningCode1
Graph-based, Self-Supervised Program Repair from Diagnostic FeedbackCode1
Guiding Program Synthesis by Learning to Generate ExamplesCode1
TF-Coder: Program Synthesis for Tensor ManipulationsCode1
Learning Compositional Rules via Neural Program SynthesisCode1
Incremental Sampling Without Replacement for Sequence ModelsCode1
Improving Molecular Design by Stochastic Iterative Target AugmentationCode1
Automatic Program Synthesis of Long Programs with a Learned Garbage CollectorCode1
RobustFill: Neural Program Learning under Noisy I/OCode1
CoRE: Enhancing Metacognition with Label-free Self-evaluation in LRMs—0
Structured Program Synthesis using LLMs: Results and Insights from the IPARC Challenge—0
Matching Markets Meet LLMs: Algorithmic Reasoning with Ranked Preferences—0
Show:102550
← PrevPage 2 of 9Next →
All datasetsSPoC TestPSPoC TestWAlgoLisp

Benchmark Results

#ModelMetricClaimedVerifiedStatus
1DrRepairSuccess rate @budget 10038.5—Unverified
2Multiclass localizerSuccess rate @budget 10034.2—Unverified
#ModelMetricClaimedVerifiedStatus
1DrRepairSuccess rate @budget 10057—Unverified
2Multiclass localizerSuccess rate @budget 10053.7—Unverified
#ModelMetricClaimedVerifiedStatus
1CodeTrans-MT-TF-SmallAccuracy90.31—Unverified