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

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 5 of 5: papers 401 to 423 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.

• Towards Mixed Optimization for Reinforcement Learning with Program Synthesis
  1 Jul 2018 0 repositories listed
• Program Synthesis Through Reinforcement Learning Guided Tree Search
  8 Jun 2018 0 repositories listed
• Program Synthesis from Visual Specification
  4 Jun 2018 0 repositories listed
• EgoCoder: Intelligent Program Synthesis with Hierarchical Sequential Neural Network Model
  22 May 2018 0 repositories listed
• Leveraging Grammar and Reinforcement Learning for Neural Program Synthesis
  11 May 2018 0 repositories listed
• Neural-Guided Deductive Search for Real-Time Program Synthesis from Examples
  3 Apr 2018 0 repositories listed
• Neural Program Search: Solving Programming Tasks from Description and Examples
  12 Feb 2018 0 repositories listed
• Code Synthesis with Priority Queue Training
  1 Jan 2018 0 repositories listed
• Dynamic Neural Program Embeddings for Program Repair
  1 Jan 2018 0 repositories listed
• Learning to select examples for program synthesis
  1 Jan 2018 0 repositories listed
• Neural Program Search: Solving Data Processing Tasks from Description and Examples
  1 Jan 2018 0 repositories listed
• Glass-Box Program Synthesis: A Machine Learning Approach
  25 Sep 2017 0 repositories listed
• LoopInvGen: A Loop Invariant Generator based on Precondition Inference
  7 Jul 2017 0 repositories listed
• Learning Disjunctions of Predicates
  15 Jun 2017 0 repositories listed
• Towards Synthesizing Complex Programs from Input-Output Examples
  5 Jun 2017 0 repositories listed
• Synthesizing Imperative Programs from Examples Guided by Static Analysis
  21 Feb 2017 0 repositories listed
• Summary - TerpreT: A Probabilistic Programming Language for Program Induction
  2 Dec 2016 0 repositories listed
• Sampling for Bayesian Program Learning
  1 Dec 2016 0 repositories listed
• Time Series Structure Discovery via Probabilistic Program Synthesis
  21 Nov 2016 0 repositories listed
• Latent Attention For If-Then Program Synthesis
  7 Nov 2016 0 repositories listed
• Neuro-Symbolic Program Synthesis
  6 Nov 2016 0 repositories listed
• TerpreT: A Probabilistic Programming Language for Program Induction
  15 Aug 2016 0 repositories listed
• Unsupervised Learning by Program Synthesis
  1 Dec 2015 0 repositories listed