LLM-Based Program Synthesis

Follow this topic Ask about this topic

Momentum

22 papers in the last four weeks, up 100% on the four weeks before. 0.2% of all new papers.

Jul 13Week of Sep 28

Latest papers 223

All topics

ANCORA: Learning to Question via Manifold-Anchored Self-Play for Verifiable Reasoning
Apr 30, 2026Chengcao YangSelf-Play RL RL for Language Model Reasoning
Wuhan University Wuhan, China
HAVEN: Hybrid Automated Verification ENgine for UVM Testbench Synthesis with LLMs
Apr 30, 2026Chang-Chih Meng, Yu-Ren Lu, Guan-Yu Lin +3Electronic Design Automation LLM-Based Program Synthesis
National Yang Ming Chiao Tung University, Hsinchu, Taiwan
Beyond the Training Distribution: Mapping Generalization Boundaries in Neural Program Synthesis
Apr 30, 2026Henrik Voigt, Michael Habeck, Joachim GiesenOOD Generalization LLM-Based Program Synthesis
Friedrich Schiller University · Jena, Germany
OMEGA: Optimizing Machine Learning by Evaluating Generated Algorithms
Apr 29, 2026Jeremy Nixon, Annika SinghAutomated Algorithm Discovery LLM-Based Program Synthesis
Infinity Artificial Intelligence Institute San Francisco, CA, USA · Infinity Artificial Intelligence Institute & Computer Science, Stanford University Palo Alto, CA, USA
Why Search When You Can Transfer? Amortized Agentic Workflow Design from Structural Priors
Apr 27, 2026Shiyi Du, Jiayuan Liu, Weihua Du +6Agentic Workflows LLM-Based Program Synthesis
Carnegie Mellon University · Foundations of Cooperative AI Lab (FOCAL) · University of Notre Dame
Zero-to-CAD: Agentic Synthesis of Interpretable CAD Programs at Million-Scale Without Real Data
Apr 27, 2026Mohammadmehdi Ataei, Farzaneh Askari, Kamal Rahimi Malekshan +1Synthetic Data Generation Parametric CAD Modeling
Autodesk Research
SeaEvo: Advancing Algorithm Discovery with Strategy Space Evolution
Apr 27, 2026Sichun Luo, Yi Huang, Haochen Luo +7Automated Algorithm Discovery Evolutionary Optimization
1The University of Hong Kong · 2JIUTIAN Research, China Mobile · 3City University of Hong Kong
RefEvo: Agentic Design with Co-Evolutionary Verification for Agile Reference Model Generation
Apr 27, 2026Yifan Zhang, Jianmin Ye, Jiahao Yang +1Electronic Design Automation LLM-Based Program Synthesis
School of Integrated Circuits, Southeast University, China · National Center of Technology Innovation for EDA, China
A2DEPT: Large Language Model-Driven Automated Algorithm Design via Evolutionary Program Trees
Apr 27, 2026Bin Chen, Shouliang Zhu, Beidan Liu +4Automated Algorithm Discovery Automated Heuristic Design
The Institute of Intelligent Computing, University of Electronic Science and Technology of China, Chengdu 611731, China · College of Systems Engineering, National University of Defense Technology, Changsha 410073, China · Academy of Military Medical Sciences, Beijing 100071, China
AutoPyVerifier: Learning Compact Executable Verifiers for Large Language Model Outputs
Apr 24, 2026Pouya Pezeshkpour, Estevam HruschkaLLM Evaluation LLM Answer Verification
Megagon Labs
From Natural Language to Verified Code: Toward AI Assisted Problem-to-Code Generation with Dafny-Based Formal Verification
Apr 24, 2026Md Erfan, Md Kamal Hossain Chowdhury, Ahmed Ryan +1LLM Prompting Code Generation
Department of Computer Science, The University of Alabama, Tuscaloosa, USA · Alabama Water Institute, The University of Alabama, Tuscaloosa, USA
Streamliners for Answer Set Programming
Apr 21, 2026Florentina Voboril, Martin Gebser, Stefan Szeider +1Logic Programming Large Language Model-Guided Optimization
TU Wien Vienna, Austria · University of Klagenfurt Klagenfurt, Austria
PARM: Pipeline-Adapted Reward Model
Apr 20, 2026Xingyu Fan, Wei Shao, Jiacheng Liu +2Reward Modeling LLM-Based Program Synthesis
SolidCoder: Bridging the Mental-Reality Gap in LLM Code Generation through Concrete Execution
Apr 20, 2026Woojin Lee, Jin-Xia HuangExecution-Guided Code Generation LLM-Based Program Synthesis
Electronics and Telecommunications Research Institute, Republic of Korea
Program Structure-aware Language Models: Targeted Software Testing beyond Textual Semantics
Apr 20, 2026Khang Tran, Khoa Nguyen, Cristian Borcea +1LLM-Based Program Synthesis Automated Test Generation
New Jersey Institute of Technology, Newark, NJ, USA
Probabilistic Programs of Thought
Apr 19, 2026Poorva Garg, Renato Lui Geh, Daniel Israel +3LLM-Based Program Synthesis Efficient Language Model Reasoning
University of California Los Angeles · Allen Institute for AI
Certified Program Synthesis with a Multi-Modal Verifier
Apr 17, 2026Yueyang Feng, Dipesh Kafle, Vladimir Gladshtein +5LLM-Based Program Synthesis Program Synthesis
National University of Singapore · Singapore · Neapolis University Pafos +2
Neurosymbolic Repo-level Code Localization
Apr 17, 2026Xiufeng Xu, Xiufeng Wu, Zejun Zhang +1Software Engineering Benchmarks LLM-Based Program Synthesis
Nanyang Technological University, Singapore
EVIL: Evolving Interpretable Algorithms for Zero-Shot Inference on Event Sequences and Time Series with LLMs
Apr 17, 2026David BerghausEvent Time Prediction Time Series Imputation
Lamarr Institute · Fraunhofer IAIS
ARGUS: Agentic GPU Optimization Guided by Data-Flow Invariants
Apr 16, 2026Haohui Mai, Xiaoyan Guo, Xiangyun Ding +7GPU Kernel Optimization GPU Acceleration
UC Riverside5 · UCAS4 · Tsinghua University2 +2
COEVO: Co-Evolutionary Framework for Joint Functional Correctness and PPA Optimization in LLM-Based RTL Generation
Apr 16, 2026Heng Ping, Peiyu Zhang, Shixuan Li +5Multi-Objective Evolutionary Optimization Code Generation
University of Southern California United States
VeriGraphi: A Multi-Agent Framework of Hierarchical RTL Generation for Large Hardware Designs
Apr 16, 2026Sazzadul Islam, Tasnim Tabassum, Hao ZhengLLM Grounding LLM-Based Program Synthesis
Dept. of Computer Science & Eng. University of South Florida Tampa, Florida, United States
Beyond Task Completion: A Verification-vs.-Conformance Gap in Tool-Evolving Agents
Apr 1, 2026Alibek Kaliyev, Artem MaryanskyyAI Agent Reliability Tool-Use Evaluation
The University of Texas at Austin · Austin, Texas, USA · Uber +1
Language Models as Higher-Order Planning Formalizers
Mar 25, 2026Owen Jiang, Cassie Huang, Ashish Sabharwal +1LLM Planning LLM-Based Program Synthesis
Drexel University · Allen Institute for AI
Not All Invariants Are Equal: Curating Training Data to Accelerate Program Verification with SLMs
Mar 16, 2026Ido Pinto, Yizhak Yisrael Elboher, Haoze Wu +2Fine-Tuning Training Data Curation
Hebrew University of Jerusalem, Israel · Amherst Col · VMware Research by Broadcom, USA.
KernelFoundry: Hardware-aware evolutionary GPU kernel optimization
Mar 12, 2026Nina Wiedemann, Quentin Leboutet, Michael Paulitsch +2GPU Kernel Optimization GPU Acceleration
Intel Corporation
ParEVO: Synthesizing Code for Irregular Data: High-Performance Parallelism through Agentic Evolution
Mar 3, 2026Liu Yang, Zeyu Nie, Andrew Liu +4High-Performance Computing Code Generation
Department of Computer Science, Yale University, New Haven, CT, USA · Google DeepMind, Mountain View, CA, USA
ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization
Feb 17, 2026Junbo Jacob Lian, Yujun Sun, Huiling Chen +3LLM-Based Program Synthesis LLM Reliability
Institute of Operations Research and Analytics, National University of Singapore · McCormick School of Engineering, Northwestern University · Wenzhou Buyi Pharmacy Chain Co., Ltd. +2
NeuroWeaver: An Autonomous Evolutionary Agent for Exploring the Programmatic Space of EEG Analysis Pipelines
Feb 13, 2026Guoan Wang, Shihao Yang, Feng LiuEvolutionary Optimization EEG Decoding
Department of Industrial and Systems Engineering, Rutgers, The State University of New Jersey, 96 Frelinghuysen Road, Piscataway, NJ 08854, USA
Self-EvolveRec: Self-Evolving Recommender Systems with LLM-based Directional Feedback
Feb 13, 2026Sein Kim, Sangwu Park, Hongseok Kang +6Large Language Model-Guided Optimization LLM-Based Program Synthesis
KAIST · Microsoft

Apr 30, 2026, cs.LGJ/K move · Enter open · S save

ANCORA: Learning to Question via Manifold-Anchored Self-Play for Verifiable Reasoning

Chengcao Yang

Wuhan University Wuhan, China

Self-Play RL RL for Language Model Reasoning LLM-Based Program Synthesis Formal Verification Reinforcement Learning with Verifiable Rewards Curriculum Learning

Open paper AskPDF arXiv

We propose a paradigm shift toward open-ended curriculum self-play: rather than learning to answer on a fixed prompt set, a unified policy learns to question: generating verifiable problems, solving them, and turning verifier feedback into self-improvement without human-annotated solutions. We introduce ANCORA, in which the policy alternates between a Proposer that synthesizes novel specifications and a Solver that produces verified solutions, anchored by three load-bearing mechanisms: a two-level group-relative update coupling Proposer advantages across specifications with Solver advantages across solution attempts; iterative self-distilled SFT projecting the base model onto its valid-output manifold before RL; and a UCB-guided Curriculum DAG whose policy-induced problem set can provably expand under self-composition. Without these stabilizers, sparse verifier feedback drives Proposer collapse even under MLRL-aligned rewards; with them, ANCORA bootstraps a verifiable curriculum from zero human solutions. Instantiated in Verus, ANCORA lifts Dafny2Verus pass@1 from a 26.6% SFT baseline to 81.5% in test-time training (TTT, 0-shot), outperforming PSV self-play by 15.8 points despite PSV's 1-shot inference; in a transfer setting, training from Dafny2Verus seeds yields 36.2% and 17.2% pass@1 on held-out MBPP and HumanEval.

Momentum

Related topics

Latest papers 223