Program Synthesis

Ask about this topic

Momentum

14 papers in the last four weeks, up 250% on the four weeks before. 0.1% of all new papers.

Jul 13Week of Sep 28
View on map

Latest papers 114

All topics
CardsList

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

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

    Research Laboratory of Electronics, Massachusetts Institute of Technology, Cambridge, Massachusetts 02139, USA

  2. 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

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

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

    Jul 29, 2026Yihao Chen, Shi Chang, Khaled Chawa +4Program SynthesisAutomated Software Engineering

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

  4. 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

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

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

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

    LIM, université de La Réunion, France · Université de Namur, Belgium

  6. AutoIndex: Learning Representation Programs for Retrieval

    Jul 21, 2026Sam O'Nuallain, Nithya Rajkumar, Ramya Narayanasamy +3Automated Algorithm DiscoveryProgram Synthesis

    University of Massachusetts Amherst · Databricks Mosaic Research

  7. Agentic Synthesis against Counterexample-Supplemented Sketches

    Jul 17, 2026Muness Castle, Eric RubeckCoding AgentsLLM-Based Program Synthesis

    Independent

  8. Knowledge-Centric Agents for Workflow Generation in ComfyUI

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

    INSAIT, Sofia University “St. Kliment Ohridski” · Adobe Research

  9. Heuristic Learning for Active Flow Control Using Coding Agents

    Jul 13, 2026Paul Garnier, Jonathan Viquerat, Elie HachemRL ControlLanguage Model-Based Control

    Mines Paris - PSL University · Centre for Material Forming (CEMEF) · CNRS +1

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

    Jul 11, 2026Yifei Zhang, Dong Chen, Fan Wang +6Automated Algorithm DiscoveryProgram 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

  11. ARCANA: A Reflective Multi-Agent Program Synthesis Framework for ARC-AGI-2 Reasoning

    Jul 10, 2026Kunbo Zhang, Lei Fu, Zeyu Wang +2Program SynthesisMulti-Agent Collaboration

    Columbia University New York, USA · Independent Researcher San Jose, USA · University of California, Los Angeles Los Angeles, USA +2

  12. Programming-by-Example for Batch-Editing Collision Meshes in 3D Software

    Jul 9, 2026Gengyang Xu, Dongwei Xiao, Hengcheng Zhu +43D Scene EditingProgram Synthesis

    1The Hong Kong University of Science and Technology · 2The Chinese University of Hong Kong

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

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

    Nanjing University · Nanjing, China · Hunan University +2

  14. ASSEMCAD: Production-Ready CAD Assembly Generation from Natural Language

    Jul 6, 2026Yurui Dong, Shu Zou, Siqi Li +7Parametric CAD ModelingProgram Synthesis

    Shanghai Artificial Intelligence Laboratory · Fudan University · The Australian National University +2

  15. Which Algorithm Specification Formats Help Language Models Implement Machine Learning Algorithms?

    Jul 3, 2026Masahiro Kato, Taka KatoLLM EvaluationProgram Synthesis

    Data Analytics Department, Mizuho-DL Financial Technology, Co., Ltd. · NP-hard Inc.

  16. Decomposer: Learning to Decompile Symbolic Music to Programs

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

    Carnegie Mellon University

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

    Jul 1, 2026Yuan Si, Jialu ZhangAdversarial RobustnessProgram Synthesis

    University of Waterloo, Waterloo, Canada

  18. ASPIRE: Agentic /Skills Discovery for Robotics

    Jun 30, 2026Runyu Lu, Yubo Wu, Ethan Kou +11Robot Policy LearningLong-Horizon Robotic Manipulation

    NVIDIA · UMich · UIUC +2

  19. Arko-T: A Foundation Model for Text-to-Structured 3D Generation

    Jun 29, 2026Liang Wang, Zhaoyang Xi, Zekai Xiang +53D Foundation ModelsParametric CAD Modeling

    Spatial Design Intelligence Lab, BitInf Ltd., Shanghai 200003, China · School of Computer Science, Wuhan University, Wuhan 430000, Hubei, China · College of Computer and Information Engineering, Nanjing Tech University, Nanjing 211800, Jiangsu, China

  20. Context-Aware Synthesis of Optimization Pipelines for Warehouse Optimization

    Jun 25, 2026Janik Bischoff, Anne Meyer, Uta Mohring +6Algorithm SelectionAutomated Algorithm Discovery

    Institute for Information Management in Engineering, Karlsruhe Institute of Technology, Germany · Department of Business Administration, University of Zurich, Switzerland · Institute for Operations Research, Karlsruhe Institute of Technology, Germany +1

  21. Axon: A Synthesizing Superoptimizer for Tensor Programs

    Jun 24, 2026Akash Kothari, Shaowei Zhu, Daniel Kroening +1AI Accelerator InferenceHigh-Performance Computing

    University of Illinois at Urbana-Champaign, USA · Amazon Web Services, USA

  22. AutoSpec: Safety Rule Evolution for LLM Agents via Inductive Logic Programming

    Jun 23, 2026Pingchuan Ma, Zhaoyu Wang, Zimo Ji +5LLM GuardrailsProgram Synthesis

    Zhejiang University of Technology · HKUST

  23. Teaching LLMs String Matching, Backtracking, and Error Recovery to Deduce Bases and Truth Tables for the Combinatorially Exploding Bit Manipulation Puzzles

    Jun 22, 2026Prateek Agnihotri, Sanchit Jain, Prabhat Agnihotri +2Boolean Function LearningProgram Synthesis

    7th Place NVIDIA Nemotron Challenge Team

  24. CNnotator: LLM-Guided Memory Safety Annotation Synthesis

    Jun 20, 2026Twain Byrnes, Mike DoddsLLM-Assisted AnnotationProgram Synthesis

    Carnegie Mellon University Pittsburgh, PA, USA · Galois, Inc. Portland, OR, USA

  25. Explaining Attention with Program Synthesis

    Jun 17, 2026Amiri Hayes, Belinda Z Li, Jacob AndreasTransformer InterpretabilityAttention Head Analysis

    NJIT · MIT EECS

  26. Where Did the Variability Go? From Vibe Coding to Product Lines by Regeneration

    Jun 17, 2026Xhevahire TërnavaSoftware EngineeringProgram Synthesis

    LTCI, Télécom Paris, Institut Polytechnique de Paris, Palaiseau, France

  27. FllumaOne: A Code-Native Multimodal CAD Dataset with Executable Programs and Kernel-Validated Feature Histories

    Jun 16, 2026Jizong ZhanParametric CAD ModelingProgram Synthesis

  28. RHO: Your Coding Agent is Secretly a Roboticist

    Jun 15, 2026Karim Elmaaroufi, Justin Svegliato, Sarunas Kalade +3Robot Policy LearningAI Coding Agents

    University of California, Berkeley · Embodied Science · AMD

  29. CARE: Context-Aware Ranking Evolution with Executable Scoring Programs for Budgeted Reaction Optimization

    Jun 12, 2026Guanyu Liu, Weiyi Kong, Chao Tang +5Large Language Model-Guided OptimizationProgram Synthesis

    University of Macau · University of Toronto · UCLA +3

  30. The Program Is Still There: A Conservation Law for Program Discovery

    Jun 11, 2026Jorge Miguel SilvaAutomated Algorithm DiscoveryBlack-Box Optimization

    Institute of Electronics and Informatics Engineering of Aveiro (IEETA) and Department of Electronics, Telecommunications and Informatics (DETI), University of Aveiro, 3810-193 Aveiro, Portugal