Browse State-of-the-Art › Program Synthesis › Papers, page 4

Program Synthesis

Papers archive 2025-07-28

archive papers tagged: 423 · with a code link: 179 · where Syntology ran a sample: 69 (52 with a run with no instrument failure, 17 where every run was a failure of Syntology's instrument) Syntology

Show: all tagged papersonly where code ran (69 of 423 tagged: 52 with a run with no instrument failure, 17 where every run was a failure of Syntology's instrument)

Page 4 of 5: papers 301 to 400 of 423, in archive order: by repositories listed in the archive (most first), then newest first, not by stars (the archive holds no stars, so PwC's “Social” and “Latest” sorts cannot be reproduced). Papers that list no repository come after every paper that lists one.

Papers without a page here are shown as plain text. A Syntology line reads “N ran (of which C constructed an object rather than computing a result; K with no instrument failure: H honoured, V violated, P with no contract checked; I where Syntology's instrument failed) · U unverified”; the figure “where Syntology's instrument failed” counts failures of Syntology's instrument, not of the code. When the archive marks a repository official for the paper, the line starts with that repository's state (the archive's flag, not a verdict on who wrote the code); hover it for the repositories the samples that ran came from. Abstracts are on each paper's page.

• AutoTSG: Learning and Synthesis for Incident Troubleshooting
  26 May 2022 0 repositories listed
• Autoformalization with Large Language Models
  25 May 2022 0 repositories listed
• Neural Program Synthesis with Query
  8 May 2022 0 repositories listed
• Example-based Synthesis of Static Analysis Rules
  19 Apr 2022 0 repositories listed
• Population Diversity Leads to Short Running Times of Lexicase Selection
  13 Apr 2022 0 repositories listed
• Landmarks and Regions: A Robust Approach to Data Extraction
  11 Apr 2022 0 repositories listed
• Compositional Generalization and Decomposition in Neural Program Synthesis
  7 Apr 2022 0 repositories listed
• Efficient Pragmatic Program Synthesis with Informative Specifications
  5 Apr 2022 0 repositories listed
• Iterative Genetic Improvement: Scaling Stochastic Program Synthesis
  26 Feb 2022 0 repositories listed
• SapientML: Synthesizing Machine Learning Pipelines by Learning from Human-Written Solutions
  18 Feb 2022 0 repositories listed
• MWP-BERT: Numeracy-Augmented Pre-training for Math Word Problem Solving
  16 Jan 2022 0 repositories listed
• Differentiable Synthesis of Program Architectures
  1 Dec 2021 0 repositories listed
• Stress Rules from Surface Forms: Experiments with Program Synthesis
  1 Dec 2021 0 repositories listed
• Solving Visual Analogies Using Neural Algorithmic Reasoning
  19 Nov 2021 0 repositories listed
• Solving Linear Algebra by Program Synthesis
  16 Nov 2021 0 repositories listed
• Solving Linear Algebra by Program Synthesis
  16 Nov 2021 0 repositories listed
• Solving Probability and Statistics Problems by Program Synthesis
  16 Nov 2021 0 repositories listed
• Solving Probability and Statistics Problems by Program Synthesis
  16 Nov 2021 0 repositories listed
• Choose Your Programming Copilot: A Comparison of the Program Synthesis Performance of GitHub Copilot and Genetic Programming
  15 Nov 2021 0 repositories listed
• Few-Shot Novel Concept Learning for Semantic Parsing
  1 Nov 2021 0 repositories listed
• Neural-guided, Bidirectional Program Search for Abstraction and Reasoning
  22 Oct 2021 0 repositories listed
• Synthesizing Optimal Parallelism Placement and Reduction Strategies on Hierarchical Systems for Deep Learning
  20 Oct 2021 0 repositories listed
• Using Program Synthesis and Inductive Logic Programming to solve Bongard Problems
  19 Oct 2021 0 repositories listed
• Solving the Families In the Wild Kinship Verification Challenge by Program Synthesis
  13 Oct 2021 0 repositories listed
• A Genetic Programming Approach To Zero-Shot Neural Architecture Ranking
  8 Oct 2021 0 repositories listed
• Adversarial Robustness of Program Synthesis Models
  8 Oct 2021 0 repositories listed
• Are Transformers All That Karel Needs?
  8 Oct 2021 0 repositories listed
• AutoCoder: Leveraging Transformers for Automatic Code Synthesis
  8 Oct 2021 0 repositories listed
• AutumnSynth: Synthesis of Reactive Programs with Structured Latent State
  8 Oct 2021 0 repositories listed
• Towards Physical, Imperceptible Adversarial Attacks via Adversarial Programs
  29 Sep 2021 0 repositories listed
• Parallel Constraint-Driven Inductive Logic Programming
  15 Sep 2021 0 repositories listed
• Multi-modal Program Inference: a Marriage of Pre-trainedLanguage Models and Component-based Synthesis
  3 Sep 2021 0 repositories listed
• Recent Developments in Program Synthesis with Evolutionary Algorithms
  27 Aug 2021 0 repositories listed
• Satisfiability and Synthesis Modulo Oracles
  28 Jul 2021 0 repositories listed
• Leveraging Language to Learn Program Abstractions and Search Heuristics
  18 Jun 2021 0 repositories listed
• Interpreting Expert Annotation Differences in Animal Behavior
  11 Jun 2021 0 repositories listed
• PSB2: The Second Program Synthesis Benchmark Suite
  10 Jun 2021 0 repositories listed
• Latent Execution for Neural Program Synthesis Beyond Domain-Specific Languages
  21 May 2021 0 repositories listed
• Automated Decision-based Adversarial Attacks
  9 May 2021 0 repositories listed
• Inductive Program Synthesis over Noisy Datasets using Abstraction Refinement Based Optimization
  27 Apr 2021 0 repositories listed
• Toward Code Generation: A Survey and Lessons from Semantic Parsing
  26 Apr 2021 0 repositories listed
• Geometry of Program Synthesis
  30 Mar 2021 0 repositories listed
• Program Synthesis Over Noisy Data with Guarantees
  8 Mar 2021 0 repositories listed
• A Minimalist Dataset for Systematic Generalization of Perception, Syntax, and Semantics
  2 Mar 2021 0 repositories listed
• Refinement Type Directed Search for Meta-Interpretive-Learning of Higher-Order Logic Programs
  18 Feb 2021 0 repositories listed
• Report of the Workshop on Program Synthesis for Scientific Computing
  2 Feb 2021 0 repositories listed
• Learning Differentially Private Mechanisms
  4 Jan 2021 0 repositories listed
• FCR: Flow Chart Recognition Network for Program Synthesis
  1 Jan 2021 0 repositories listed
• Neurosymbolic Deep Generative Models for Sequence Data with Relational Constraints
  1 Jan 2021 0 repositories listed
• Visible and Invisible: Causal Variable Learning and its Application in a Cancer Study
  1 Jan 2021 0 repositories listed
• Representing Partial Programs with Blended Abstract Semantics
  23 Dec 2020 0 repositories listed
• Latent Programmer: Discrete Latent Codes for Program Synthesis
  1 Dec 2020 0 repositories listed
• PLANS: Neuro-Symbolic Program Learning from Videos
  1 Dec 2020 0 repositories listed
• Multi-Plane Program Induction with 3D Box Priors
  19 Nov 2020 0 repositories listed
• GRCNN: Graph Recognition Convolutional Neural Network for Synthesizing Programs from Flow Charts
  11 Nov 2020 0 repositories listed
• Dreaming with ARC
  17 Oct 2020 0 repositories listed
• Automated Generation of Executable Cross-Language Background Knowledge
  13 Oct 2020 0 repositories listed
• Goal-directed Generation of Discrete Structures with Conditional Generative Models
  5 Oct 2020 0 repositories listed
• Optimal Neural Program Synthesis from Multimodal Specifications
  4 Oct 2020 0 repositories listed
• Adversarial Synthetic Datasets for Neural Program Synthesis
  28 Sep 2020 0 repositories listed
• Type-driven Neural Programming by Example
  28 Aug 2020 0 repositories listed
• Process Discovery for Structured Program Synthesis
  13 Aug 2020 0 repositories listed
• BUSTLE: Bottom-Up Program Synthesis Through Learning-Guided Exploration
  28 Jul 2020 0 repositories listed
• Semi-supervised Learning From Demonstration Through Program Synthesis: An Inspection Robot Case Study
  23 Jul 2020 0 repositories listed
• Programming by Rewards
  14 Jul 2020 0 repositories listed
• Program Synthesis with Pragmatic Communication
  9 Jul 2020 0 repositories listed
• Learning Web-based Procedures by Reasoning over Explanations and Demonstrations in Context
  1 Jul 2020 0 repositories listed
• Information-theoretic User Interaction: Significant Inputs for Program Synthesis
  22 Jun 2020 0 repositories listed
• Neural Program Synthesis with a Differentiable Fixer
  19 Jun 2020 0 repositories listed
• IReEn: Reverse-Engineering of Black-Box Functions via Iterative Neural Program Synthesis
  18 Jun 2020 0 repositories listed
• Learning large logic programs by going beyond entailment
  21 Apr 2020 0 repositories listed
• Creating Synthetic Datasets via Evolution for Neural Program Synthesis
  23 Mar 2020 0 repositories listed
• Unsupervised Program Synthesis for Images By Sampling Without Replacement
  27 Jan 2020 0 repositories listed
• CounterExample Guided Neural Synthesis
  25 Jan 2020 0 repositories listed
• Towards Neural-Guided Program Synthesis for Linear Temporal Logic Specifications
  31 Dec 2019 0 repositories listed
• Synthetic Datasets for Neural Program Synthesis
  27 Dec 2019 0 repositories listed
• Constraint-based Learning of Phonological Processes
  1 Nov 2019 0 repositories listed
• Bayesian causal inference via probabilistic program synthesis
  30 Oct 2019 0 repositories listed
• Probabilistic Surrogate Networks for Simulators with Unbounded Randomness
  25 Oct 2019 0 repositories listed
• Neural Program Synthesis By Self-Learning
  13 Oct 2019 0 repositories listed
• Optimal Sizing of Stand-alone Solar PV Systems via Automated Formal Synthesis
  28 Sep 2019 0 repositories listed
• ADAPTIVE GENERATION OF PROGRAMMING PUZZLES
  25 Sep 2019 0 repositories listed
• Iterative Target Augmentation for Effective Conditional Generation
  25 Sep 2019 0 repositories listed
• Natural- to formal-language generation using Tensor Product Representations
  25 Sep 2019 0 repositories listed
• Learning Fitness Functions for Machine Programming
  22 Aug 2019 0 repositories listed
• Imitation-Projected Programmatic Reinforcement Learning
  11 Jul 2019 0 repositories listed
• Write, Execute, Assess: Program Synthesis with a REPL
  9 Jun 2019 0 repositories listed
• One-shot Information Extraction from Document Images using Neuro-Deductive Program Synthesis
  6 Jun 2019 0 repositories listed
• Synthesizing Datalog Programs Using Numerical Relaxation
  1 Jun 2019 0 repositories listed
• Comparing and Combining Lexicase Selection and Novelty Search
  22 May 2019 0 repositories listed
• Execution-Guided Neural Program Synthesis
  1 May 2019 0 repositories listed
• Learning a Meta-Solver for Syntax-Guided Program Synthesis
  1 May 2019 0 repositories listed
• Neural Program Planner for Structured Predictions
  23 Mar 2019 0 repositories listed
• Learning Neurosymbolic Generative Models via Program Synthesis
  24 Jan 2019 0 repositories listed
• A Survey on Semantic Parsing
  3 Dec 2018 0 repositories listed
• Improving Neural Program Synthesis with Inferred Execution Traces
  1 Dec 2018 0 repositories listed
• Ain't Nobody Got Time For Coding: Structure-Aware Program Synthesis From Natural Language
  23 Oct 2018 0 repositories listed
• Inference Over Programs That Make Predictions
  2 Oct 2018 0 repositories listed
• SemRegex: A Semantics-Based Approach for Generating Regular Expressions from Natural Language Specifications
  1 Oct 2018 0 repositories listed
• Novel positional encodings to enable tree-structured transformers
  27 Sep 2018 0 repositories listed