LLM-Based Program Synthesis

Latest papers 223

All topics
CardsList
  1. 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

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

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

  3. Case study: solving P-99 with LPTP and an LLM

    Jul 23, 2026Fred Mesnard, Thierry Marianne, Étienne Payet +1Logic ProgrammingLLM-Based Program Synthesis

  4. Program Synthesis for Simulation-Based Inference: Joint Model Selection and Parameter Estimation

    Jul 20, 2026Siddharth Mishra-SharmaSimulation-Based InferenceParameter Estimation

  5. Knowledge-Centric Agents for Workflow Generation in ComfyUI

    Jul 17, 2026Zhendong Li, Lei Sun, Ruibo Ming +4Agentic WorkflowsLLM-Based Program Synthesis

  6. CoTu at EXACT 2026: Neuro-Symbolic Reasoning for Transparent Educational QA

    Jul 16, 2026Quoc-Khang Tran, Minh-Thien Nguyen, Phu-An Thai +3Explainable Artificial IntelligenceLLM-Based Program Synthesis

  7. Gold-Guided Programmatic Distillation for Financial Reasoning over Hybrid Tables and Text

    Jul 16, 2026Yun Dong, Erica Zhao, Elana ChenTable QAFinancial QA

  8. Reflecting Process Expertise in Procedural Material Generation

    Jul 14, 2026Kunal Gupta, Gaurav Joshi, Yen-Ru Chen +33D Asset GenerationLLM-Based Program Synthesis

  9. Faithful Autoformalization of Natural Language Assertions

    Jul 14, 2026Hongyi Liu, Madhusudan Parthasarathy, Adithya MuraliAutomated Software TestingLLM-Based Program Synthesis

  10. Contract-Grounded Behavior Tree Synthesis via Coding Agents

    Jul 13, 2026Jonathan Salfity, Robert Blake Anderson, Mitch PryorLarge Language Model-Based Robot PlanningLLM-Based Program Synthesis

  11. Similarity-Guided Curriculum Fine-Tuning of LLMs for Neural Architecture Synthesis

    Jul 13, 2026Anujaya Vijayakumar, Radu Timofte, Dmitry IgnatovLarge Language Model-Guided NASLLM Fine-Tuning

  12. Motif: Discovering and Automating Personal Web Workflows

    Jul 12, 2026Shaokang Jiang, Daye NamLLM-Based Program SynthesisHuman-in-the-Loop AI

  13. Knowledge-Conditioned, Single-Pass LLM Synthesis of Executable Unity Game Scenes: A Compiler Error Census across 26 Goal Playable Concepts

    Jul 11, 2026Hugh Xuechen Liu, Kıvanç TatarLLM-Based Program SynthesisProcedural Content Generation

  14. Diversifying to Verify: When Task-Equivalent Programs Differ in Verifiability

    Jul 10, 2026Shirley Yu, Ruben MartinsLLM-Based Program SynthesisFormal Verification

  15. InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs

    Jul 6, 2026Guangyuan Wu, Weining Cao, Zehui Tan +4LLM-Based Program SynthesisProgram Synthesis

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

    Jul 6, 2026Gabriel Poesia, Simon Henniger, Tzu-Han Hsu +2Code GenerationLLM-Based Program Synthesis

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

    Jul 6, 2026Sonali Santhosh, Kelly Shuhong Yu, Eugene Chang +3ElectroencephalographyLLM-Based Program Synthesis

  18. AutoCedar: An Agentic Framework for Verifier-Guided Access Control Policy Synthesis

    Jul 4, 2026Adarsh Vatsa, Sachi Shome, Yingming Zhou +1LLM-Based Program SynthesisAccess Control

  19. Program-as-Weights: A Programming Paradigm for Fuzzy Functions

    Jul 2, 2026Wentao Zhang, Liliana Hotsko, Woojeong Kim +3LLM-Based Program SynthesisEfficient Language Model Inference

  20. Decomposer: Learning to Decompile Symbolic Music to Programs

    Jul 2, 2026Yewon Kim, Apurva Gandhi, David Chung +2LLM-Based Program SynthesisProgram Synthesis

  21. Safe and Adaptive Cloud Healing: Verifying LLM-Generated Recovery Plans with a Neural-Symbolic World Model

    Jul 2, 2026Junyan Tan, Haoran Lin, Siyuan Guo +4LLM-Based Program SynthesisLLM-Guided RL