LLM-Based Program Synthesis

Latest papers 220

All topics
CardsList
  1. CACHEFORGE: LLM-Guided End-to-End Generative Cache Replacement Policy for Performance and Hardware Efficiency

    Oct 6, 2026Kaushal Mhapsekar, Bita Aslrousta, Brijesh Kumar Bhayana +5Large Language Model-Guided OptimizationLLM-Based Program Synthesis

  2. LabBook: Harnessing Experimental History for Efficient LLM-Driven Discovery

    Sep 30, 2026Bo Yuan, Wenqian Ye, Zelin Zhao +4Automated Algorithm DiscoveryLLM-Based Program Synthesis

  3. MatLoom: Layered Text-to-Material Generation in a Compact Program Space

    Sep 30, 2026Anson Y. Lam, Shuqing Li, Michael R. Lyu3D Asset GenerationLLM-Based Program Synthesis

  4. Adaptive-GEPA: Make Your Harness Fit Heterogeneous Requests

    Sep 30, 2026Tianyu Chen, Yasi Zhang, Ruiyi Wang +3Large Language Model-Guided OptimizationLLM-Based Program Synthesis

  5. Code to Control: Synthesizing Parameterized Reactive Controllers

    Sep 30, 2026Zergham Ahmed, Joshua B. Tenenbaum, Chris Bates +1RL ControlLanguage Model-Based Control

  6. Synthesis Without Training: An Inference-Only Pipeline for Tabular, Temporal, and Relational Synthetic Data

    Sep 29, 2026Zilong Zhao, Abdul Raheem, Jiayu Li +5Constrained Generative ModelingSynthetic Data Generation

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

    Sep 29, 2026Yuan Li, Hanyun Jiang, Guowei Tian +2LLM EvaluationLLM-Based Program Synthesis

  8. From Experience to Expertise: Adoption-Aware Memory Learning for Data-Scarce NPU Kernel Synthesis

    Sep 28, 2026Longxiao Fan, Tao Zhang, Han Yan +5LLM-Based Program SynthesisAgent Skill Learning

  9. Semantic Prefix Oracles for LLM Decoding: Contracts and Differential Validation

    Sep 28, 2026Paul Kronlund-DrouaultConstrained DecodingLLM-Based Program Synthesis

  10. ReMCTS: Reflection-Enhanced Monte Carlo Tree Search for Code Generation

    Sep 28, 2026Huifei Wang, Xinying Huang, Yiheng Sun +1Execution-Guided Code GenerationLLM-Based Program Synthesis

  11. LLMs for Executable Multi-Agent System Specification Generation

    Sep 28, 2026Andreas Kouvaras, Periklis Mantenoglou, Alexander ArtikisLLM-Based Program SynthesisMulti-Agent Systems

  12. Coding Agents for Generalized Task and Motion Planning Problems

    Sep 24, 2026Matteo Merler, Bowen Li, Josh Roy +4Coding AgentsLLM-Based Program Synthesis

  13. Evolving Inspectable O-RAN Slicing xApps with LLMs

    Sep 23, 2026Faezeh Dehghan Tarzjani, Bhaskar KrishnamachariLarge Language Model-Guided OptimizationLLM-Based Program Synthesis

  14. Online Automated Algorithm Design with Large Language Models

    Sep 21, 2026Zhiyao Zhang, Yichen Li, Xingyu Wu +2Automated Algorithm DiscoveryBlack-Box Optimization

  15. AlgoEvo: Self-Evolving Agentic Search for Automated Algorithm Discovery

    Sep 14, 2026Junhao Qiu, Qinglong Hu, Ji Cheng +3Automated Algorithm DiscoveryAutomated Heuristic Design

  16. NDT Factory: Synthesizing Verified Network Digital Twins from Semantic Models via Multi-Agent LLM

    Sep 14, 2026Sudipta Acharya, Petar Djukic, Burak KantarciMulti-Agent LLM SystemsLLM-Based Program Synthesis

  17. Compile by Training: Turning Natural-Language Specifications into Local Neural Functions

    Sep 3, 2026Yuntian Deng, Pengyu Nie, Stuart ShieberLLM-Based Program Synthesis

  18. SUN: Persistent Programs For Language-Grounded Control-to-Learning-to-Real Policies

    Aug 31, 2026Weiqi Wang, Zhi Li, Yudong Lei +7Robot Policy LearningLong-Horizon Robotic Manipulation

  19. LLM-based Hardware Development with Hierarchical IRs and End-to-End Multi-Agent Workflow

    Aug 31, 2026Chenyang Yin, Agasthi Haputhanthri, Aditya Anirudh Jonnalagadda +7Electronic Design AutomationLLM-Based Program Synthesis

  20. PROVE-RT: Generating Mechanized Theorem Prover Scripts for Real-Time Systems using LLMs

    Aug 13, 2026Sadat Shahriyar, Shareef Ahmed, Abdullah Al ArafatAutomated Theorem ProvingReal-Time Scheduling

  21. Reifying Research Logic: AI-Assisted Workflow Construction and Incremental Refinement for Quantitative Syntax

    Aug 11, 2026He Wang, Jingbo Chen, Yuqiao Lai +3LLM-Based Program SynthesisScientific Workflow Automation

  22. ELMER: Evolutionary Language Model that Explores and Refines

    Aug 10, 2026Matthew Siper, Ahmed Khalifa, Julian TogeliusLarge Language Model-Guided OptimizationGenetic Programming

  23. Janus: An Algorithm-Evaluator Co-Evolution Framework for LLM-Driven Discovery under Expensive Evaluation Budgets

    Aug 8, 2026Ximeng Liu, Qianlong Wang, Yingming Mao +6Surrogate-Assisted OptimizationLarge Language Model-Guided Optimization

  24. PACE: Primitive-Aware Code Evolution for Automated Algorithm Design

    Aug 7, 2026Zhuoliang Xie, Ruihao Zheng, Xiang Xu +2Automated Algorithm DiscoveryAutomated Heuristic Design

  25. HINT: Toward an Executable Hardware-Intent Representation Layer for LLM-Driven RTL Generation

    Aug 7, 2026Tairan Cheng, Yi Liu, Dongsheng Zuo +6Electronic Design AutomationLLM-Based Program Synthesis

  26. AutoSND: From Execution Evidence to Structural Policies for Automated Network Dismantling Heuristic Discovery

    Aug 4, 2026Zhijing Hu, Changjun Fan, Yufan Deng +1Automated Algorithm DiscoveryAutomated Heuristic Design

  27. TraceCAD: Trace-Guided Repair for Agentic CAD Generation

    Aug 4, 2026Fengxiao Fan, Jingzhe Ni, Fan Sang +5Automated Program RepairParametric CAD Modeling

  28. LACE: Large Language Model Aided Multi-Agent Framework for Agile RISC-V Instruction Extension

    Aug 3, 2026Pingqing Zheng, Jiayin Qin, Fuqi Zhang +5LLM-Based Program SynthesisRTL Code Generation

  29. PICopilot: An LLM-based Agentic Framework for Assisting Photonic Integrated Circuit Design via Script Generation

    Aug 3, 2026Xiaohan Jiang, Zeyu Li, Wei Zhang +1LLM-Based Program Synthesis

  30. TraceCompiler: Skill-Guided Mining and Compilation of LLM Agent Traces into Mostly Deterministic Workflows

    Aug 3, 2026Salma El Yadouni, Guanyi LiAgentic WorkflowsLLM-Based Program Synthesis

  31. CRAFTS: Collaborative Role-Adaptive Fine-Tuning of LLM Agents for Chemical Process Simulation

    Aug 2, 2026Ziyun Zhang, Yuxin Lin, Eldin Wee Chuan Lim +1Fine-TuningLLM Agent Orchestration

  32. DGA2_2D: Directed Graph-Guided Automated Algorithm Design with Large Language Models

    Aug 1, 2026Jiale Zhao, Zimu Chen, Sirui Mao +3Automated Algorithm DiscoveryAutomated Heuristic Design

  33. ScaFE: Data-Efficient Scar Classification with LLM-Generated Clinical Feature Programs

    Jul 30, 2026Ruman Wang, Hangting YeLLM-Based Program SynthesisMedical Image Classification

  34. Distilling Answer Set Programming Theories from Large Language Models

    Jul 30, 2026Nelson Higuera Ruiz, Markus Hofmarcher, Claudiu Leoveanu-CondreiLogic ProgrammingLLM-Based Program Synthesis

  35. Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models

    Jul 30, 2026Yang Li, Ping Hou, Nobuko YoshidaLLM-Based Program SynthesisFormal Verification

  36. From Pixels to PCells: A Neurosymbolic Approach to Photonic Component Creation

    Jul 29, 2026Aadarsh Agarwal, Kenaish Al Qubaisi, Dirk EnglundLLM-Based Program SynthesisProgram Synthesis

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

    Jul 29, 2026Yihao Chen, Shi Chang, Feng Lin +4Requirements EngineeringLLM Agent Orchestration

  38. AgenticCANN: Automated Ascend C Operator Generation via Knowledge-Augmented Agentic Evolution

    Jul 29, 2026Junhao Qiu, Zidong Wang, Yansong Sun +3AI Accelerator InferenceLarge Language Model-Guided Optimization

  39. EvoPINN: Agentic Discovery of Executable Algorithms for Physics-Informed Neural Networks

    Jul 29, 2026Peng Yin, Kai Li, Yifan Zhang +1Automated Algorithm DiscoveryLLM-Based Program Synthesis

  40. ARCHER: Agentic Rule and Compliance Harness for Executable Regulations

    Jul 28, 2026Chiraag Singh Anand, Xue Wen Tan, Lionel Teo +1LLM Agent OrchestrationLLM-Based Program Synthesis

  41. Efficient LLM-Generated Shuttling Compilers for Complex Trapped-Ion Architectures

    Jul 27, 2026Fabian Kreppel, Reza Salkhordeh, Ferdinand Schmidt-Kaler +1Quantum Circuit CompilationLLM-Based Program Synthesis

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

    Jul 26, 2026Daphne Chen, Archit Ritesh Jain, Eric Goossen +4Long-Horizon Robotic ManipulationRobot Skill Learning

  43. Benchmarking Zero-Shot LLM-Generated Parent Selection in Genetic Programming for Symbolic Regression

    Jul 26, 2026Hengzhe Zhang, Qi Chen, Bing Xue +2Zero-Shot LearningLarge Language Model-Guided Optimization

  44. Adaptive Graph-of-Islands Evolution for Automatic Feature Engineering with LLMs

    Jul 25, 2026Sha Li, Naren RamakrishnanEvolutionary OptimizationLarge Language Model-Guided Optimization