LLM-Based Program Synthesis

Latest papers 223

All topics
CardsList
  1. Hawk: Harnessing Hardware-Aware Knowledge for High-Performance NPU Kernel Generation

    Jul 2, 2026Junyi Wen, Ruiyan Zhuang, Yongjia Xu +7Code GenerationLLM-Based Program Synthesis

  2. OPINE-World: Programmatic World Modeling with Ontology-error-Prioritized Interactive Exploration for ARC-AGI-3

    Jul 1, 2026David Courtis, Wenhao Li, Scott SannerWorld Model LearningWorld Models

  3. Calibration, Not Compilation: Detecting and Repairing Misspecified Probabilistic Programs Written by Language Models

    Jun 30, 2026Jian Xu, Delu Zeng, John Paisley +1Automated Program RepairBayesian Inference

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

    Jun 29, 2026Xinyuan Song, Zekun Cai, Liang ZhaoAutomated Algorithm DiscoveryLLM-Based Program Synthesis

  5. Pointer-CAD v2: Plan-Then-Construct CAD Generation with Dimension-Aware Parametric Precision

    Jun 28, 2026Dacheng Qi, Chenyu Wang, Jingwei Xu +2Parametric CAD ModelingLLM-Based Program Synthesis

  6. EGG: An Expert-Guided Agent Framework for Kernel Generation

    Jun 25, 2026Yaochen Han, Ke Fan, Hongxu Jiang +5GPU Kernel OptimizationLarge Language Model-Guided Optimization

  7. Evidence-Driven LLM Agent for C-to-Synthesizable-C Conversion and Verification

    Jun 25, 2026Zhe Zhao, Hongbing Lang, Zhihan Xiao +3Automated Program RepairCode Generation

  8. RevengeBench: Reverse Engineering Code-Space Policies from Behavioral Experiments

    Jun 24, 2026Babak Rahmani, Sebastian Dziadzio, Joschka Strüber +2Opponent ModelingLLM-Based Program Synthesis

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

    Jun 24, 2026Dhruv Sharma, Gautam ShroffAutomated Algorithm DiscoveryGenetic Programming

  10. Context-Aware Distillation and Ablation for Text2DSL

    Jun 21, 2026Alexander V. Kozachok, Alexander M. Nazimov, Shamil G. MagomedovLLM PromptingLLM-Based Program Synthesis

  11. Complexity and Scale in AI-Assisted Workflow Management: A Federated Learning Case Study

    Jun 16, 2026Komal Thareja, Hamza Safri, Rajiv Mayani +2Execution-Guided Code GenerationCode Generation

  12. Interpretable and Verifiable Hardware Generation with LLM-Driven Stepwise Refinement

    Jun 16, 2026You Li, Samuel Mandell, David Z. PanCode GenerationLLM-Based Program Synthesis

  13. LLM-based Visual Code Completion for Aerospace Geometric Design

    Jun 15, 2026Hau Kit Yong, Robert Marsh, Edmar A. Silva +2LLM-Based Program SynthesisAI-Assisted Software Development

  14. Mind-Studio: Executable World Models with Lookahead Evaluation for Partially Observable Games

    Jun 14, 2026Yifei Dong, Mingen Zheng, Linquan Wu +2World Model LearningLLM-Based Program Synthesis

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

    Jun 12, 2026Olga Ovcharenko, Luciano Duarte, Sebastian SchelterLLM-Based Program Synthesis

  16. Functional Cache Grafting: Robust and Rapid Code-Policy Synthesis for Embodied Agents

    Jun 11, 2026Saehun Chun, Wonje Choi, Sera Choi +2LLM-Based Program SynthesisAgentic Code Generation

  17. Counterexample Guided Learning in the Large using Reasoning Agents

    Jun 9, 2026Hongyi Liu, Frederic Sala, Thomas Reps +1Counterexample-Guided RefinementLLM-Based Program Synthesis

  18. HDSL: A Hierarchical Domain-Specific Language for Structured 3D Indoor Scene Generation and Localized Editing with LLM Agents

    Jun 8, 2026Letian Li, Chao Shen, Shuzhao Xie +63D Scene EditingLLM-Based Program Synthesis

  19. TLA-Prover: Verifiable TLA+ Specification Synthesis via Preference-Optimized Low-Rank Adaptation

    Jun 4, 2026Eric Spencer, Arslan Bisharat, Brian Ortiz +6LLM-Based Program SynthesisFormal Verification

  20. CASS-RTL: Correctness-Aware Subspace Steering for RTL Generation with LLMs

    Jun 4, 2026Mohammad Akyash, Nowfel Mashnoor, Kimia Azar +1Code GenerationLLM-Based Program Synthesis

  21. Aggregating LLM-Based Weak Verifiers for Spatial Layout Generation

    Jun 3, 2026Sharon Zhang, R. Kenny Jones, Jiajun Wu +1LLM-Based Program Synthesis

  22. StepPRM-RTL: Stepwise Process-Reward Guided LLM Fine-Tuning for Enhanced RTL Synthesis

    Jun 2, 2026Prashanth Vijayaraghavan, Apoorva Nitsure, Luyao Shi +2RL for Code GenerationProcess Reward Models

  23. Code-on-Graph: Iterative Programmatic Reasoning via Large Language Models on Knowledge Graphs

    Jun 2, 2026Weiwei Ding, Zixuan Li, Long Bai +7LLM GroundingLLM Reasoning with Graphs

  24. TurtleAI: Benchmarking Multimodal Models for Visual Programming in Turtle Graphics

    Jun 2, 2026Chao Wen, Jacqueline Staub, Adish SinglaVLM EvaluationLLM-Based Program Synthesis

  25. KForge: LLM-Driven Cross-Platform Kernel Generation for AI Accelerators

    Jun 1, 2026Taras Sereda, Burak Bartan, Ankita Nayak +3AI Accelerator InferenceGPU Kernel Optimization