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

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 3 of 5: papers 201 to 300 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.

• EcoSearch: A Constant-Delay Best-First Search Algorithm for Program Synthesis
  23 Dec 2024 0 repositories listed
• Design2GarmentCode: Turning Design Concepts to Tangible Garments Through Program Synthesis
  11 Dec 2024 0 repositories listed
• From Code to Play: Benchmarking Program Search for Games Using Large Language Models
  5 Dec 2024 0 repositories listed
• LLMPhy: Complex Physical Reasoning Using Large Language Models and World Models
  12 Nov 2024 0 repositories listed
• Mitigating Gender Bias in Code Large Language Models via Model Editing
  10 Oct 2024 0 repositories listed
• System 2 Reasoning via Generality and Adaptation
  10 Oct 2024 0 repositories listed
• Can LLMs plan paths with extra hints from solvers?
  7 Oct 2024 0 repositories listed
• Learning to Solve Abstract Reasoning Problems with Neurosymbolic Program Synthesis and Task Generation
  6 Oct 2024 0 repositories listed
• COOL: Efficient and Reliable Chain-Oriented Objective Logic with Neural Networks Feedback Control for Program Synthesis
  2 Oct 2024 0 repositories listed
• Mechanic Maker: Accessible Game Development Via Symbolic Learning Program Synthesis
  1 Oct 2024 0 repositories listed
• Proof of Thought : Neurosymbolic Program Synthesis allows Robust and Interpretable Reasoning
  25 Sep 2024 0 repositories listed
• Combining LLM Code Generation with Formal Specifications and Reactive Program Synthesis
  18 Sep 2024 0 repositories listed
• Adaptive Language-Guided Abstraction from Contrastive Explanations
  12 Sep 2024 0 repositories listed
• Statically Contextualizing Large Language Models with Typed Holes
  2 Sep 2024 0 repositories listed
• Can Large Language Models Understand Symbolic Graphics Programs?
  15 Aug 2024 0 repositories listed
• h4rm3l: A language for Composable Jailbreak Attack Synthesis
  9 Aug 2024 0 repositories listed
• A Neurosymbolic Approach to Adaptive Feature Extraction in SLAM
  9 Jul 2024 0 repositories listed
• VRDSynth: Synthesizing Programs for Multilingual Visually Rich Document Information Extraction
  9 Jul 2024 0 repositories listed
• Effective Adaptive Mutation Rates for Program Synthesis
  23 Jun 2024 0 repositories listed
• Program Synthesis Benchmark for Visual Programming in XLogoOnline Environment
  17 Jun 2024 0 repositories listed
• Learning Language Structures through Grounding
  14 Jun 2024 0 repositories listed
• Guiding LLM Temporal Logic Generation with Explicit Separation of Data and Control
  11 Jun 2024 0 repositories listed
• Amortizing Pragmatic Program Synthesis with Rankings
  1 Jun 2024 0 repositories listed
• Diffusion On Syntax Trees For Program Synthesis
  30 May 2024 0 repositories listed
• AbstractBeam: Enhancing Bottom-Up Program Synthesis using Library Learning
  27 May 2024 0 repositories listed
• Code Repair with LLMs gives an Exploration-Exploitation Tradeoff
  26 May 2024 0 repositories listed
• RLSF: Reinforcement Learning via Symbolic Feedback
  26 May 2024 0 repositories listed
• HYSYNTH: Context-Free LLM Approximation for Guiding Program Synthesis
  24 May 2024 0 repositories listed
• Analogical proportions II
  22 May 2024 0 repositories listed
• Finding structure in logographic writing with library learning
  11 May 2024 0 repositories listed
• Program Synthesis using Inductive Logic Programming for the Abstraction and Reasoning Corpus
  10 May 2024 0 repositories listed
• PhilHumans: Benchmarking Machine Learning for Personal Health
  4 May 2024 0 repositories listed
• Can humans teach machines to code?
  30 Apr 2024 0 repositories listed
• BANSAI: Towards Bridging the AI Adoption Gap in Industrial Robotics with Neurosymbolic Programming
  21 Apr 2024 0 repositories listed
• Fewer Truncations Improve Language Modeling
  16 Apr 2024 0 repositories listed
• Self-Training Large Language Models for Improved Visual Program Synthesis With Visual Reinforcement
  6 Apr 2024 0 repositories listed
• SYNAPSE: SYmbolic Neural-Aided Preference Synthesis Engine
  25 Mar 2024 0 repositories listed
• Guiding Enumerative Program Synthesis with Large Language Models
  6 Mar 2024 0 repositories listed
• Semi-Instruct: Bridging Natural-Instruct and Self-Instruct for Code Large Language Models
  1 Mar 2024 0 repositories listed
• Procedural Adherence and Interpretability Through Neuro-Symbolic Generative Agents
  24 Feb 2024 0 repositories listed
• Origami: (un)folding the abstraction of recursion schemes for program synthesis
  21 Feb 2024 0 repositories listed
• WorldCoder, a Model-Based LLM Agent: Building World Models by Writing Code and Interacting with the Environment
  19 Feb 2024 0 repositories listed
• Open-Universe Indoor Scene Generation using LLM Program Synthesis and Uncurated Object Databases
  5 Feb 2024 0 repositories listed
• Runtime phylogenetic analysis enables extreme subsampling for test-based problems
  2 Feb 2024 0 repositories listed
• Learning logic programs by finding minimal unsatisfiable subprograms
  29 Jan 2024 0 repositories listed
• 3D-PreMise: Can Large Language Models Generate 3D Shapes with Sharp Features and Parametric Control?
  12 Jan 2024 0 repositories listed
• LLM4TDD: Best Practices for Test Driven Development Using Large Language Models
  7 Dec 2023 0 repositories listed
• Program Machine Policy: Addressing Long-Horizon Tasks by Integrating Program Synthesis and State Machines
  27 Nov 2023 0 repositories listed
• Function-constrained Program Synthesis
  27 Nov 2023 0 repositories listed
• Coffee: Boost Your Code LLMs by Fixing Bugs with Feedback
  13 Nov 2023 0 repositories listed
• BizBench: A Quantitative Reasoning Benchmark for Business and Finance
  11 Nov 2023 0 repositories listed
• LLM for SoC Security: A Paradigm Shift
  9 Oct 2023 0 repositories listed
• Logic-Q: Improving Deep Reinforcement Learning-based Quantitative Trading via Program Sketch-based Tuning
  9 Oct 2023 0 repositories listed
• The Program Testing Ability of Large Language Models for Code
  9 Oct 2023 0 repositories listed
• mlirSynth: Automatic, Retargetable Program Raising in Multi-Level IR using Program Synthesis
  6 Oct 2023 0 repositories listed
• Program Synthesis with Best-First Bottom-Up Search
  6 Oct 2023 0 repositories listed
• ℬ-Coder: Value-Based Deep Reinforcement Learning for Program Synthesis
  4 Oct 2023 0 repositories listed
• Correct and Optimal: the Regular Expression Inference Challenge
  15 Aug 2023 0 repositories listed
• Demonstration of CORNET: A System For Learning Spreadsheet Formatting Rules By Example
  14 Aug 2023 0 repositories listed
• ExeDec: Execution Decomposition for Compositional Generalization in Neural Program Synthesis
  26 Jul 2023 0 repositories listed Syntology 13 ran (of which 0 constructed an object rather than computing a result; 13 with no instrument failure: 0 honoured, 0 violated, 13 with no contract checked; 0 where Syntology's instrument failed) · 3 unverified (of 16 harvested samples)
• A Real-World WebAgent with Planning, Long Context Understanding, and Program Synthesis
  24 Jul 2023 0 repositories listed
• Reinforcement Learning and Data-Generation for Syntax-Guided Synthesis
  13 Jul 2023 0 repositories listed
• Multi-Intent Detection in User Provided Annotations for Programming by Examples Systems
  8 Jul 2023 0 repositories listed
• Fine-Tuning Large Language Models for Answering Programming Questions with Code Snippets
  26 Jun 2023 0 repositories listed
• Bayesian Program Learning by Decompiling Amortized Knowledge
  13 Jun 2023 0 repositories listed
• Solving Novel Program Synthesis Problems with Genetic Programming using Parametric Polymorphism
  8 Jun 2023 0 repositories listed
• Natural Language Commanding via Program Synthesis
  6 Jun 2023 0 repositories listed
• Better Context Makes Better Code Language Models: A Case Study on Function Call Argument Completion
  1 Jun 2023 0 repositories listed
• Learning-Based Automatic Synthesis of Software Code and Configuration
  25 May 2023 0 repositories listed
• Coarse-Tuning Models of Code with Reinforcement Learning Feedback
  25 May 2023 0 repositories listed
• A Survey of Methods for Converting Unstructured Data to CSG Models
  2 May 2023 0 repositories listed
• From Words to Code: Harnessing Data for Program Synthesis from Natural Language
  2 May 2023 0 repositories listed
• (Vector) Space is Not the Final Frontier: Product Search as Program Synthesis
  22 Apr 2023 0 repositories listed
• Fully Autonomous Programming with Large Language Models
  20 Apr 2023 0 repositories listed
• Untangling the Effects of Down-Sampling and Selection in Genetic Programming
  14 Apr 2023 0 repositories listed
• HOTGP -- Higher-Order Typed Genetic Programming
  6 Apr 2023 0 repositories listed
• ImageEye: Batch Image Processing Using Program Synthesis
  6 Apr 2023 0 repositories listed
• Improved Tree Search for Automatic Program Synthesis
  13 Mar 2023 0 repositories listed
• Hierarchical Neural Program Synthesis
  9 Mar 2023 0 repositories listed
• A Neurodiversity-Inspired Solver for the Abstraction & Reasoning Corpus (ARC) Using Visual Imagery and Program Synthesis
  18 Feb 2023 0 repositories listed
• Complex QA and language models hybrid architectures, Survey
  17 Feb 2023 0 repositories listed
• Down-Sampled Epsilon-Lexicase Selection for Real-World Symbolic Regression Problems
  8 Feb 2023 0 repositories listed
• MTGP: Combining Metamorphic Testing and Genetic Programming
  20 Jan 2023 0 repositories listed
• A Divide-Align-Conquer Strategy for Program Synthesis
  8 Jan 2023 0 repositories listed
• Informed Down-Sampled Lexicase Selection: Identifying productive training cases for efficient problem solving
  4 Jan 2023 0 repositories listed
• Unveiling Code Pre-Trained Models: Investigating Syntax and Semantics Capacities
  20 Dec 2022 0 repositories listed
• Genetic Algorithm for Program Synthesis
  22 Nov 2022 0 repositories listed
• Programming by Example and Text-to-Code Translation for Conversational Code Generation
  21 Nov 2022 0 repositories listed
• NESTER: An Adaptive Neurosymbolic Method for Causal Effect Estimation
  8 Nov 2022 0 repositories listed
• Synthesizing Programs with Continuous Optimization
  2 Nov 2022 0 repositories listed
• Generating Sequences by Learning to Self-Correct
  31 Oct 2022 0 repositories listed
• Neural-Guided Program Synthesis of Information Extraction Rules Using Self-Supervision
  1 Oct 2022 0 repositories listed
• Toward Trustworthy Neural Program Synthesis
  29 Sep 2022 0 repositories listed
• Limits of an AI program for solving college math problems
  14 Aug 2022 0 repositories listed
• CORNET: Learning Table Formatting Rules By Example
  11 Aug 2022 0 repositories listed
• From Perception to Programs: Regularize, Overparameterize, and Amortize
  13 Jun 2022 0 repositories listed
• From Human Days to Machine Seconds: Automatically Answering and Generating Machine Learning Final Exams
  11 Jun 2022 0 repositories listed
• Functional Code Building Genetic Programming
  9 Jun 2022 0 repositories listed
• GALOIS: Boosting Deep Reinforcement Learning via Generalizable Logic Synthesis
  27 May 2022 0 repositories listed
• Learning to Find Proofs and Theorems by Learning to Refine Search Strategies: The Case of Loop Invariant Synthesis
  27 May 2022 0 repositories listed

Syntology lines on 1 of the papers shown; no Syntology record for the others (a paper without an arXiv id cannot be joined to the graph, and absence from the graph layer is not a recorded non-run). “Ran” means the sample executed on a synthesized fixture, not that the paper's result was reproduced; each line links to that paper's sample list. Syntology's record for this page has not changed since 2026-09-28, the first build that kept a record date for it; when this build read Syntology's graph is in the build record. For agents: get_harvested_code_for_paper(arxiv_id) lists each paper's samples; how to connect.