Llm-Driven Code Synthesis

Ask about this topic

Momentum

3 papers in the last four weeks, against 1 the four weeks before. 0.0% of all new papers.

Jul 13Week of Sep 28
View on map

Latest papers 59

All topics
CardsList

  1. InfoAgent: Traceable Generation and Repair of Evidence-Grounded Infographics

    Sep 30, 2026Yifan Li, Tong Li, Qi Zeng +6TraceabilityLlm-Driven Code Synthesis

    University of Science and Technology of China · Meituan · Peking University, Peking University

  2. Code to Control: Synthesizing Parameterized Reactive Controllers

    Sep 30, 2026Zergham Ahmed, Joshua B. Tenenbaum, Chris Bates +1Llm-Driven Code SynthesisReactive

    Harvard University · Massachusetts Institute of Technology · Florida Institute for Human and Machine Cognition

  3. DatalogBench: Evaluating Large Language Models on Text-to-Datalog Synthesis

    Sep 29, 2026Yuan Li, Hanyun Jiang, Guowei Tian +2Llm-Driven Code SynthesisLarge Language Model Benchmarks

    The State Key Laboratory of Blockchain and Data Security, Zhejiang University · National University of Singapore

  4. SkillForge: Compositional Skill Synthesis with Verification-in-the-Loop for Generating Formally Verified Dafny Programs

    Aug 30, 2026Yanming Liu, Xinyue Peng, Jiannan Cao +2Llm-Driven Code SynthesisFormal Verification

    Zhejiang University · Southeast University · MIT +2

  5. HLSmith: An Expert-Guided Agentic Framework for C/C++-to-HLS Translation

    Aug 7, 2026Yuebo Luo, Ahmad Sedigh Baroughi, Philip Stachura +4High-Level SynthesisLlm-Driven Code Synthesis

    University of Minnesota Twin Cities · Simon Fraser University · Argonne National Laboratory

  6. Simulation Code Generation for Fluid Systems using Large Language Models: Benchmarking Models and Prompting Strategies

    Jul 31, 2026Jan Marius Stürmer, Jascha Knack, Tobias Koch +1Llm-Driven Code SynthesisUser Simulation

    German Aerospace Centre (DLR), Institute for the Protection of Terrestrial Infrastructures, Rathausallee 12, 53757, Sankt Augustin, Germany · Algorithms for Computer Vision, Imaging and Data Analysis, Technische Hochschule Würzburg-Schweinfurt, Ignaz-Schön-Straße 11, Schweinfurt, 97421, Germany

  7. SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch

    Jul 29, 2026Yihao Chen, Shi Chang, Feng Lin +4Llm-Driven Code SynthesisCoding Agents

    2Queen’s University · 1Huawei Canada · 4Concordia University +1

  8. MindForge: Teaching Small Language Models Whole-Life-Cycle Software Engineering via Source-Free Program Synthesis

    Jul 29, 2026Yihao Chen, Shi Chang, Khaled Chawa +4Llm-Driven Code SynthesisForge

    2Queen’s University · 1Huawei Canada · University of Manitoba

  9. A Few Words Go a Long Way: Language Guided Robot Policy Synthesis

    Jul 26, 2026Daphne Chen, Archit Ritesh Jain, Eric Goossen +4Robot PoliciesScalable Robot Learning

    University of Washington · 2Microsoft Research · 3Massachusetts Institute of Technology

  10. From Resource Flow to Executable Tests: Petri-Net-Guided LLM Test Generation for Concurrent Stateful Rust APIs

    Jul 23, 2026Kaiwen Zhang, Guanjun LiuTest GenerationLlm-Driven Code Synthesis

    Tongji University Shanghai,China

  11. HyMobileAgent: Data-Environment Co-Scaling for Efficient GUI Agents

    Jul 16, 2026Hy Vision Team, Huawen Shen, Zhengyang Tang +20Graphical User Interface AgentsMultimodal Agents

    Hy Vision Team

  12. When a Verified World Model Still Loses: Play-Adequacy vs Prediction-Accuracy in LLM-Synthesized Code World Models

    Jul 15, 2026Javier Aguilar MartínWorld Model PlanningLlm-Driven Code Synthesis

    AGILabs (javieraguilar.ai)

  13. Program-Synthesis-Driven Autodesign of Universal Unitary Operators

    Jul 11, 2026Yifei Zhang, Dong Chen, Fan Wang +6Basis DecompositionLlm-Driven Code Synthesis

    Key Laboratory of Nuclear Physics and Ion-beam Application (MOE), Institute of Modern Physics, Fudan University, Shanghai 200433, China · Huawei Technologies Co., Ltd, Beijing 100095, China · Department of Industrial Engineering and Decision Analytics, Hong Kong University of Science and Technology, HongKong, China +6

  14. SPL: Orchestrating Workflows with Declarative Deterministic-Probabilistic Composition

    Jul 6, 2026Wen G. GongLlm-Driven Code SynthesisCorrectness

    Independent Researcher

  15. Formal Disco: Scalable Open-Ended Generation of Formally Verified Programs

    Jul 6, 2026Gabriel Poesia, Simon Henniger, Tzu-Han Hsu +2Llm-Driven Code SynthesisFormal Verification

    Kempner Institute, Harvard University · School of Engineering and Applied Sciences, Harvard University

  16. EEG-SpikeAgent: Agentic Closed-Loop Program Synthesis for Automated EEG Spike Detection

    Jul 6, 2026Sonali Santhosh, Kelly Shuhong Yu, Eugene Chang +3Seizure DetectionElectroencephalography

    Dept. of Brain and Cognitive Sciences, Massachusetts Institute of Technology, Cambridge, MA, USA · Dept. of Neuroscience, University of California, Berkeley, Berkeley, CA, USA · Dept. of Neurology and Neurologic Sciences, Stanford University, Palo Alto, CA, USA +1

  17. Fixed-Set Robustness in Programming by Example: Example Corruption and Semantic Partition Recovery

    Jul 1, 2026Yuan Si, Jialu ZhangAutomated Program RepairCorrupted Inputs

    University of Waterloo, Waterloo, Canada

  18. AgRefactor: Self-Evolving Agentic Workflow for HLS Compatibility and Performance

    Jun 29, 2026Yang Zou, Zijian Ding, Yizhou Sun +1Code RefactoringHigh-Level Synthesis

    1Carnegie Mellon University · University of California, Los Angeles

  19. AlgoSkill: Learning to Design Algorithms by Scheduling Human-Like Skills

    Jun 29, 2026Xinyuan Song, Zekun Cai, Liang ZhaoAutomated Heuristic DesignLlm-Driven Code Synthesis

    Emory University, Atlanta, GA, USA · The University of Tokyo, Tokyo, Japan · LocationMind, Tokyo, Japan

  20. AlgoEvolve: LLM-driven Meta-evolution of Algorithmic Trading Programs

    Jun 24, 2026Dhruv Sharma, Gautam ShroffAlgorithmic TradingEvolutionary Search

    Indraprastha Institute of Information Technology, Delhi

  21. AutoACSL: Synthesizing ACSL Specifications by Integrating LLMs with CPG-Based Static Analysis

    Jun 18, 2026Han Zhou, Yu Luo, Dianxiang XuProgram AnalysisLlm-Driven Code Synthesis

    University of Missouri–Kansas City, Kansas City, USA · University of Central Missouri, Warrensburg, USA

  22. Beyond Static Endpoints: Tool Programs as an Interface for Flexible Agentic Web Services

    Jun 18, 2026Mugeng Liu, Shuoqi Li, Yixuan Zhang +1Tool InvocationAgentic Workflows

    School of Computer Science, Peking University, Beijing, China · School of Software & Microelectronics, Peking University, Beijing, China · Institute for Artificial Intelligence, Peking University, Beijing, China

  23. SemPiper: Interactive Code Synthesis for Semantic Operators in Machine Learning Pipelines

    Jun 12, 2026Olga Ovcharenko, Luciano Duarte, Sebastian SchelterLarge Language Model PipelinesLlm-Driven Code Synthesis

    BIFOLD & TU Berlin

  24. IterCAD: An Iterative Multimodal Agent for Visually-Grounded CAD Generation and Editing

    Jun 11, 2026Tao Hu, Jiaxin Ai, Licheng Wen +12Llm-Driven Code SynthesisImage-To-Code Generation

    Shanghai Artificial Intelligence Laboratory · University of Science and Technology of China · Shanghai Innovation Institute +4

  25. Minimalist Genetic Programming

    Jun 8, 2026Leonardo TrujilloGenetic AlgorithmsLlm-Driven Code Synthesis

    Tecnol´ogico Nacional de M´exico/IT de Tijuana,Tijuana, BC, Me xico · LASIGE, Department of Informatics, Faculty of Sciences, University of Lisbon, Lisbon, Portugal

  26. CodeAlchemy: Synthetic Code Rewriting at Scale

    Jun 8, 2026Ankit Gupta, Aditya Prasad, Rameswar PandaLlm-Driven Code SynthesisSynthetic Data

    MIT-IBM Watson AI Lab, IBM Research

  27. Agentic Separation Logic Specification Synthesis

    May 26, 2026Tarun Suresh, David Korczynski, Julien VanegueLlm-Driven Code SynthesisInvariant Synthesis

    Bloomberg, NY, USA

  28. PennySynth: RAG-Driven Data Synthesis for Automated Quantum Code Generation

    May 25, 2026Minghao Shao, Nouhaila Innan, Hariharan Janardhanan +3Llm-Driven Code SynthesisSynthetic Data

    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

  29. Inductive Deductive Synthesis: Enabling AI to Generate Formally Verified Systems

    May 22, 2026Shubham Agarwal, Alexander Krentsel, Shu Liu +10Formal VerificationLlm-Driven Code Synthesis

    1UC Berkeley · 2Google · 3UC Santa Cruz

  30. Domain-Adaptable Reinforcement Learning for Code Generation with Dense Rewards

    May 20, 2026Erfan Aghadavoodi Jolfaei, Daniel Maninger, Abhinav Anand +2Code GenerationLlm-Driven Code Synthesis

    Technische Universität Darmstadt, Darmstadt, Germany · Hessian Center for Artificial Intelligence (hessian.AI), Darmstadt, Germany · National Research Center for Applied Cybersecurity ATHENE, Darmstadt, Germany.

  31. AutoRPA: Efficient GUI Automation through LLM-Driven Code Synthesis from Interactions

    May 20, 2026Minghao Chen, Xinyi Hu, Zhou Yu +1Graphical User Interface AgentsAutomated

    Zhejiang Key Laboratory of Space Information Sensing and Transmission, School of Computer Science, Hangzhou Dianzi University, China.

  32. SceneCode: Executable World Programs for Editable Indoor Scenes with Articulated Objects

    May 19, 2026Puyi Wang, Yuhao Wang, Linjie Li +4Indoor Scene GenerationPlayable Video World Generation

    1The Chinese University of Hong Kong · 2Shanghai Jiao Tong University · 3Shanghai AI Laboratory +2

  33. STRIDE: A Self-Reflective Agent Framework for Reliable Automatic Equation Discovery

    May 18, 2026Jiarui Su, Songjun Tu, Bei Sun +1Symbolic RegressionLlm-Driven Code Synthesis

    Central South University · Institute of Automation, Chinese Academy of Sciences · Pengcheng Laboratory

  34. The IsalProgram Programming Language

    May 16, 2026Ezequiel López-RubioLlm-Driven Code Synthesis

    Department of Computer Languages and Computer Science University of Málaga Bulevar Louis Pasteur, 35 29071 Málaga, Spain · ITIS Software. Universidad de Málaga. C/ Arquitecto Francisco Peñalosa 18, 29010, Málaga, Spain

  35. Property-Guided LLM Program Synthesis for Planning

    May 15, 2026André G. Pereira, Augusto B. Corrêa, Jendrik SeippLlm-Driven Code SynthesisLarge Language Model Planning

    Federal University of Rio Grande do Sul · Brazil · University of Oxford +3

  36. From I/O to Code with Discovery Agent

    May 14, 2026Yihong Dong, Jiaru Qian, Haoran Zhang +7Llm-Driven Code SynthesisTransform Concepts

    School of Computer Science, Peking University · Tongyi Lab, Alibaba Group · Wuhan University +3

  37. Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence

    May 13, 2026Jun He, Deying YuFormal VerificationLlm-Driven Code Synthesis

  38. ReaComp: Compiling LLM Reasoning into Symbolic Solvers for Efficient Program Synthesis

    May 6, 2026Atharva Naik, Yash Mathur, Prakam +2Llm-Driven Code SynthesisSynthetic Task

    Carnegie Mellon University · Independent Researcher

  39. InteractWeb-Bench: Can Multimodal Agent Escape Blind Execution in Interactive Website Generation?

    Apr 30, 2026Qiyao Wang, Haoran Hu, Longze Chen +4WebAgentic Benchmarks

    Shenzhen Institute of Advanced Technology, Chinese Academy of Sciences · University of Chinese Academy of Sciences · Dalian University of Technology +2

  40. Graph Construction and Matching for Imperative Programs using Neural and Structural Methods

    Apr 29, 2026Arshad Beg, Diarmuid O'Donoghue, Rosemary MonahanFormal VerificationGraph Representations

    Maynooth University, Co. Kildare, Ireland

  41. A2DEPT: Large Language Model-Driven Automated Algorithm Design via Evolutionary Program Trees

    Apr 27, 2026Bin Chen, Shouliang Zhu, Beidan Liu +4Automated Heuristic DesignFunctional Code Solvers

    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

  42. LEGO: An LLM Skill-Based Front-End Design Generation Platform

    Apr 25, 2026Jincheng Lou, Ruohan Xu, Jiecheng Ma +3Hierarchical Register Transfer Level GenerationLlm-Driven Code Synthesis

    School of IC, Peking University · School of EECS, Peking University · School of Microelectronics, Xidian University +2

  43. ChipCraftBrain: Validation-First RTL Generation via Multi-Agent Orchestration

    Apr 21, 2026Cagri EryilmazRegister Transfer LevelLlm-Driven Code Synthesis

    ChipCraftX San Francisco, CA

  44. Gradient-Based Program Synthesis with Neurally Interpreted Languages

    Apr 20, 2026Matthew V. Macfarlane, Clément Bonnet, Herke van Hoof +1Llm-Driven Code SynthesisNeuro-Symbolic Framework

    AMLab, University of Amsterdam · Work completed while a visiting student at the University of Alberta. · Ndea +2

  45. SolidCoder: Bridging the Mental-Reality Gap in LLM Code Generation through Concrete Execution

    Apr 20, 2026Woojin Lee, Jin-Xia HuangLlm-Driven Code SynthesisCode Optimization

    Electronics and Telecommunications Research Institute, Republic of Korea

  46. Clover: A Neural-Symbolic Agentic Harness with Stochastic Tree-of-Thoughts for Verified RTL Repair

    Apr 19, 2026Zizhang Luo, Yansong Xu, Runlin Guo +6Automated Program RepairRepair

    Peking University

  47. SynthFix: Adaptive Neuro-Symbolic Code Vulnerability Repair

    Apr 19, 2026Yifan Zhang, Jieyu Li, Kexin Pei +2Automated Program RepairRepair

    Vanderbilt University1 · University of Chicago2

  48. Improving LLM Code Reasoning via Semantic Equivalence Self-Play with Formal Verification

    Apr 18, 2026Antonio Valerio Miceli Barone, Poon Tsz NokEquivalenceLlm-Driven Code Synthesis

    School of Informatics, University of Edinburgh

  49. Certified Program Synthesis with a Multi-Modal Verifier

    Apr 17, 2026Yueyang Feng, Dipesh Kafle, Vladimir Gladshtein +5Formal VerificationLlm-Driven Code Synthesis

    National University of Singapore · Singapore · Neapolis University Pafos +2

  50. SpecPylot: Python Specification Generation using Large Language Models

    Apr 17, 2026Ragib Shahariar Ayon, Shibbir AhmedLlm-Driven Code SynthesisFormal Verification

    Texas State University San Marcos, TX, USA

  51. Autonomous Evolution of EDA Tools: Multi-Agent Self-Evolved ABC

    Apr 16, 2026Cunxi Yu, Haoxing RenElectronic Design AutomationLlm-Driven Code Synthesis

    NVIDIA Research University of Maryland USA · NVIDIA Research USA

  52. QAQ: Bidirectional Semantic Coherence for Selecting High-Quality Synthetic Code Instructions

    Mar 12, 2026Jiayin Lei, Ming Ma, Yunxi Duan +2Synthetic DataData Quality

    Beijing University of Technology, Beijing, 100124, China · Institute of Neuroscience, State Key Laboratory of Brain Cognition and Brain-inspired Intelligence Technology, Center for Excellence in Brain Science and Intelligence Technology, Chinese Academy of Sciences, Shanghai, 200031, China · University of Chinese Academy of Sciences, Beijing, 100049, China +1

  53. ParEVO: Synthesizing Code for Irregular Data: High-Performance Parallelism through Agentic Evolution

    Mar 3, 2026Liu Yang, Zeyu Nie, Andrew Liu +4High-Performance ComputingLlm-Driven Code Synthesis

    Department of Computer Science, Yale University, New Haven, CT, USA · Google DeepMind, Mountain View, CA, USA

  54. SpecMind: Cognitively Inspired, Interactive Multi-Turn Framework for Postcondition Inference

    Feb 24, 2026Cuong Chi Le, Minh V. T Pham, Tung Vu Duy +4Llm-Driven Code SynthesisSelf-Speculative

    The University of Texas at Dallas · FPT Software AI Center · VinUniversity +1

  55. Compositional Machine Design as Program Synthesis with LLMs

    Oct 16, 2025Wenqian Zhang, Yangyi Huang, Weiyang Liu +1Llm-Driven Code SynthesisSynthetic Task

    1The Chinese University of Hong Kong (Shenzhen) · 2The Chinese University of Hong Kong

  56. TENET: One Step Toward Test-Driven Development for Repository-Level Code Generation

    Sep 29, 2025Yiran Hu, Nan Jiang, Shanchao Liang +2Test GenerationRepository-Level Code Understanding

    Purdue University

  57. 3D Software Synthesis Driven by Constraint-Expressive Intermediate Representation

    Jul 24, 2025Shuqing Li, Anson Y. Lam, Yun Peng +23D Scene GenerationLlm-Driven Code Synthesis

    The Chinese University of Hong Kong Hong Kong, China · Renmin University of China Beijing, China

  58. Spec-Harness: Measuring and Improving Behavioral Adequacy of LLM-Synthesized Formal Specifications

    Date pendingMd Rakib Hossain Misu, Iris Ma, Cristina V. LopesLlm-Driven Code SynthesisFormal Verification

    Department of Informatics, University of California, Irvine

  59. PhysCodeBench: Benchmarking Physics-Aware Symbolic Simulation of 3D Scenes via Self-Corrective Multi-Agent Refinement

    Date pendingTianyidan Xie, Peiyu Wang, Hu Jiaxin +9Physics SimulationLlm-Driven Code Synthesis

    Nanjing University · Skywork AI · Jilin University +2