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

CRAFTQA: A Code-Driven Adaptive Framework for Complex Structured Data Reasoning
Jun 1, 2026Chengtao Gan, Zhiqiang Liu, Long Jin +3Table QA LLM-Based Program Synthesis
Zhejiang University · JIUTIAN Research, Beijing, China · Ant Group +1
WorldCoder-Bench: Benchmarking Physically Grounded 3D World Synthesis
Jun 1, 2026Shuo Lu, Yinuo Xu, Kecheng Yu +8LLM-Based Program Synthesis Synthetic Benchmark Generation
NLPR & MAIS, CASIA · Huawei Noah’s Ark Lab
pcbGPT: Automatic PCB Schematic Synthesis from Natural Language Requirements
May 31, 2026Tobias King, Steven Kehrberg, Michael Beigl +1Electronic Design Automation LLM-Based Program Synthesis
Karlsruhe Institute of Technology, Germany · Bosch Sensortec GmbH, Germany
SpecDB: LLM-Generated Customized Databases via Feature-Oriented Decomposition
May 29, 2026Yunkai Lou, Longbin Lai, Shunyang Li +2Software Engineering LLM-Based Program Synthesis
Alibaba Group Hangzhou, China · Zhejiang GongshangYing ZhangUniversity Hangzhou, China
Automating Formal Verification with Reinforcement Learning and Recursive Inference
May 29, 2026Max TanRL for Code Generation Inference-Time Search
Department of Electrical Engineering and Computer Science · Massachusetts Institute of Technology
Healthcare Mechanisms from Policy-as-Code Search under Strategic Provider Response
May 29, 2026Zihan Wang, Xiang Xu, Hongyuan Zha +1Mechanism Design LLM-Based Program Synthesis
The Chinese University of Hong Kong, Shenzhen · Tongji University
Projectional Decoding: Towards Semantic-Aware LLM Generation
May 28, 2026Boqi Chen, José Antonio Hernández López, Aren A. BabikianLanguage Model Decoding LLM-Based Program Synthesis
University of Ottawa · University of Murcia · University of Toronto
REPOT: Recoverable Program-of-Thought via Checkpoint Repair
May 28, 2026Parsa MazaheriLLM Self-Correction LLM-Based Program Synthesis
University of California, Santa Cruz
Discovering Cooperative Pipelines: Autoresearch for Sequential Social Dilemmas
May 28, 2026Víctor GallegoSocial Dilemmas AI Coding Agents
Komorebi AI Technologies
Reliable Reasoning with Large Language Models via Preference-Based Maximum Satisfiability
May 28, 2026Pedro Orvalho, Marta Kwiatkowska, Guillem Alenyà +1Large Language Model-Guided Optimization LLM-Based Program Synthesis
Artificial Intelligence Research Institute (IIIA) Consejo Superior de Investigaciones Científicas (CSIC) Barcelona, Catalonia, Spain · Department of Computer Science University of Oxford Oxford, UK · Institut de Robòtica i Informàtica Industrial (IRI-CSIC-UPC) Barcelona, Catalonia, Spain
LLM-Evolved Domain-Independent Heuristics for Symbolic AI Planning
May 28, 2026Elliot Gestrin, Jendrik SeippAutomated Heuristic Design Symbolic Planning
Linköping University, Sweden
Agentic Language-to-Objective Synthesis for Optofluidic Assembly
May 26, 2026Ivan Saraev, Elena Erben, Weida Liao +4Language-Conditioned Robot Manipulation Agentic Workflows
1) Institute of Biological and Chemical Systems, Karlsruhe Institute of Technology, Germany · 2) Department of Applied Mathematics and Theoretical Physics, University of Cambridge, UK · 3) Department of Mathematics, Imperial College London, UK +1
Agentic Separation Logic Specification Synthesis
May 26, 2026Tarun Suresh, David Korczynski, Julien VanegueLLM-Based Program Synthesis Program Synthesis
Bloomberg, NY, USA
Automating Formal Verification with Agent-Guided Tree Search
May 26, 2026Leo YaoCode Generation LLM-Based Program Synthesis
Department of Electrical Engineering and Computer Science, Massachusetts Institute of Technology
Towards Feedback-to-Plan Decisions for Self-Evolving LLM Agents in CUDA Kernel Generation
May 26, 2026Yee Hin Chong, Jiaming Wu, Youhui Zhang +1GPU Kernel Optimization LLM Agent Evaluation
Department of Computer Science and Technology, Tsinghua University, Beijing, China · Beijing National Research Center for Information Science and Technology, Beijing, China
AutoSG: LLM-Driven Solver Generation Solely from Task Prompts for Expensive Optimization
May 25, 2026Haoran Gu, Handing Wang, Yi Mei +1Large Language Model-Guided Optimization LLM-Based Program Synthesis
Xidian University · Victoria University of Wellington
PennySynth: RAG-Driven Data Synthesis for Automated Quantum Code Generation
May 25, 2026Minghao Shao, Nouhaila Innan, Hariharan Janardhanan +3Code Generation LLM-Based Program Synthesis
1eBRAIN Lab, Division of Engineering, New York University Abu Dhabi (NYUAD), Abu Dhabi, UAE · Center for Quantum and Topological Systems (CQTS), NYUAD Research Institute, NYUAD, Abu Dhabi, UAE · Department of Computer Science and Engineering, NYU Tandon School of Engineering, New York, USA
Eureka: Intelligent Feature Engineering for Enterprise AI Cloud Resource Demand Prediction
May 24, 2026Hangxuan Li, Renjun Jia, Xuezhang Wu +3LLM-Based Program Synthesis Cloud Computing
Alibaba Cloud Computing Co. Ltd, Hangzhou, China · School of Computer Science, Fudan University, Shanghai, China · School of Computer Science and Technology, Tongji University, Shanghai, China +1
SpecAlign: A Semantic Alignment Framework for SystemVerilog Assertion Generation
May 24, 2026Jaime Rafael Imperial, Hao ZhengFormal Hardware Verification LLM-Based Program Synthesis
Bellini College of Cybersecurity, AI, and Computing University of South Florida Tampa, USA
CP-Agent: A Calibrated Risk-Controlled Agent for Feedback-Driven Competitive Programming
May 23, 2026Peisong Wang, Bowen Liu, Zehua Li +4Code Generation LLM-Based Program Synthesis
The Hong Kong University of Science and Technology (Guangzhou) Guangzhou, China
Distilling Game Code World Model Generation into Lightweight Large Language Models
May 23, 2026Tyrone Serapio, Arjun Prakash, Haoyang Xu +2LLM-Based Program Synthesis
Brown University Providence, United States
The Time is Here for Just-in-Time Systems: Challenges and Opportunities
May 22, 2026Shu Liu, Alexander Krentsel, Shubham Agarwal +8Software Engineering Agents LLM-Based Program Synthesis
UC Berkeley · Bespoke Labs
Evolutionary Multi-Task Optimization for LLM-Guided Program Discovery
May 21, 2026Halil Alperen Gozeten, Xuechen Zhang, Emrullah Ildiz +3Evolutionary Optimization Large Language Model-Guided Optimization
University of Michigan - Ann Arbor · University of California San Diego
Trace2Skill: Verifier-Guided Skill Evolution for Long-Context EDA Agents
May 20, 2026Zijian Du, Nathaniel PinckneyElectronic Design Automation Code Generation
NVIDIA · Santa Clara, CA, USA
Stdlib or Third-Party? Empirical Performance and Correctness of LLM-Assisted Zero-Dependency Python Libraries
May 20, 2026Peng Ding, Rick StevensCode Generation LLM-Based Program Synthesis
University of Chicago · Argonne National Laboratory
AutoRPA: Efficient GUI Automation through LLM-Driven Code Synthesis from Interactions
May 20, 2026Minghao Chen, Xinyi Hu, Zhou Yu +1GUI Agents LLM-Based Program Synthesis
Zhejiang Key Laboratory of Space Information Sensing and Transmission, School of Computer Science, Hangzhou Dianzi University, China.
Streamlined Constraint Reasoning via CNN Pattern Recognition on Enumerated Solutions
May 19, 2026Patrick SpracklenLLM-Based Program Synthesis Constraint Satisfaction
optimize_anything: A Universal API for Optimizing any Text Parameter
May 19, 2026Lakshya A Agrawal, Donghyun Lee, Shangyin Tan +11Black-Box Optimization Large Language Model-Guided Optimization
UC Berkeley USA · MIT USA
SceneCode: Executable World Programs for Editable Indoor Scenes with Articulated Objects
May 19, 2026Puyi Wang, Yuhao Wang, Linjie Li +43D Asset Generation LLM-Based Program Synthesis
1The Chinese University of Hong Kong · 2Shanghai Jiao Tong University · 3Shanghai AI Laboratory +2
Code-as-Room: Generating 3D Rooms from Top-Down View Images via Agentic Code Synthesis
May 18, 2026Yixuan Yang, Zhen Luo, Wanshui Gan +5LLM-Based Program Synthesis Agentic Code Generation
Shanghai Artificial Intelligence Laboratory · Shanghai Innovation Institute · Southern University of Science and Technology +1

Jun 1, 2026, cs.CLJ/K move · Enter open · S save

CRAFTQA: A Code-Driven Adaptive Framework for Complex Structured Data Reasoning

Chengtao Gan, Zhiqiang Liu, Long Jin, Yushan Zhu+2

Zhejiang University · JIUTIAN Research, Beijing, China · Ant Group+1

Table QA LLM-Based Program Synthesis Algorithmic Reasoning LLM Code Generation

Open paper AskPDF arXiv

Real-world scenarios involve massive heterogeneous structured data (e.g., tables, knowledge graphs), making effective reasoning over such diverse data increasingly important. Unified structured data question answering has emerged as a prominent research trend, aiming to answer natural language questions across different structured data types within a single framework. However, existing unified methods share a common limitation: they rely on a set of predefined functions, which restricts their ability to perform complex reasoning beyond these predefined operations. To overcome this fundamental limitation, we propose CRAFTQA, a novel adaptive code-driven framework comprising two core modules, CodeSTEP and CRAFT. The CodeSTEP module is a paradigm that generates a complete executable Python code sequence, which contains step-by-step code-based reasoning operations based on the question. The CRAFT module dynamically generates custom code functions for operations beyond the predefined function set, and seamlessly integrates with CodeSTEP to significantly enhance flexibility in handling complex reasoning. Comprehensive experiments on multiple structured datasets demonstrate that CRAFTQA achieves remarkable improvements in complex reasoning scenarios compared to existing unified methods.

Momentum

Related topics

Latest papers 223