Program Synthesis

Follow this topic 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

Latest papers 114

All topics

ComAct: Reframing Professional Software Manipulation via COM-as-Action Paradigm
Jun 11, 2026Jiaxin Ai, Tao Hu, Xuemeng Yang +11Computer-Use Agents Program Synthesis
Wuhan University · Shanghai Artificial Intelligence Laboratory · Shanghai Innovation Institute +4
Minimalist Genetic Programming
Jun 8, 2026Leonardo TrujilloGenetic Programming Program 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
Compile Once, Differentiate Everywhere: A Differentiable Meta-Circular Interpreter
Jun 7, 2026Lucas ShenemanAutomatic Differentiation Program Synthesis
Institute for Interdisciplinary Data Sciences University of Idaho
Teacher-Free Self-Training Amplifies but Does Not Compound: A Pass@ $K$ Crossover on a Free-Verifier Domain
Jun 5, 2026Igor Lima StrozziSelf-Training for Language Models Self-Training
Applied Mathematics Department Federal University of Rio de Janeiro
PatchWorld: Gradient-Free Optimization of Executable World Models
May 29, 2026Jiaxin Bai, Yue Guo, Yifei Dong +13Belief-Space Planning World Model Learning
1Hong Kong Baptist University · 2Independent Researcher · 3HKUST +4
VFEAgent: A Multimodal Agent Framework for End-to-End Automated Finite Element Analysis
May 27, 2026Jiachen Zhang, Junyi Lao, Chenghao Liu +5Program Synthesis Finite Element Method
Peking University · China Agricultural University · 1Peking University +1
Agentic Separation Logic Specification Synthesis
May 26, 2026Tarun Suresh, David Korczynski, Julien VanegueLLM-Based Program Synthesis Program Synthesis
Bloomberg, NY, USA
Path-dependent program induction under resource constraints explains human sequence learning
May 26, 2026Hanqi Zhou, David G. Nagy, Peter Dayan +1Computational Cognitive Modeling Rate-Distortion Theory
University of Tubingen, Tubingen, Germany · Center for Cognitive Science, Technical University Darmstadt, Darmstadt, Germany · 3Hessian.AI, Darmstadt, Germany +1
The Kalman Evolve: Closing the Gap in Kalman Filtering via Interpretable Algorithm Discovery
May 26, 2026Vasileios Saketos, Ming XiaoKalman Filtering Program Synthesis
KTH Royal Institute of Technology · Stockholm Sweden
Specification-Based Code-Text-Code Reengineering for LLM-Mediated Software Evolution
May 24, 2026Oleg Grynets, Vasyl Lyashkevych, Arsen Dolichnyi +3Software Engineering Code Translation
EPAM Systems McLean, Virginia, USA · EPAM Systems Lviv, Ukraine · EPAM Systems Kyiv, Ukraine
CP-Agent: A Calibrated Risk-Controlled Agent for Feedback-Driven Competitive Programming
May 23, 2026Peisong Wang, Bowen Liu, Zehua Li +4Code Generation LLM-Based Program Synthesis
The Hong Kong University of Science and Technology (Guangzhou) Guangzhou, China
The Time is Here for Just-in-Time Systems: Challenges and Opportunities
May 22, 2026Shu Liu, Alexander Krentsel, Shubham Agarwal +8Software Engineering Agents LLM-Based Program Synthesis
UC Berkeley · Bespoke Labs
Inductive Deductive Synthesis: Enabling AI to Generate Formally Verified Systems
May 22, 2026Shubham Agarwal, Alexander Krentsel, Shu Liu +10AI Coding Agents Program Synthesis
1UC Berkeley · 2Google · 3UC Santa Cruz
DiPRL: Learning Discrete Programmatic Policies via Architecture Entropy Regularization
May 18, 2026Chengpeng Hu, Yingqian Zhang, Hendrik BaierReinforcement Learning Program Synthesis
Eindhoven University of Technology, Eindhoven, the Netherlands · Centrum Wiskunde & Informatica, Amsterdam, the Netherlands
A-ProS: Towards Reliable Autonomous Programming Through Multi-Model Feedback
May 18, 2026Anika Tabassum, Md Sifat Hossain, Md. Fahim Arefin +2LLM Self-Refinement Execution-Guided Code Generation
Dept. of Computer Science and Engineering, University of Dhaka, Bangladesh · Dept. of Information Systems, University of Maryland, Baltimore County, USA
Property-Guided LLM Program Synthesis for Planning
May 15, 2026André G. Pereira, Augusto B. Corrêa, Jendrik SeippSymbolic Planning Counterexample-Guided Refinement
Federal University of Rio Grande do Sul · Brazil · University of Oxford +3
From I/O to Code with Discovery Agent
May 14, 2026Yihong Dong, Jiaru Qian, Haoran Zhang +7Execution-Guided Code Generation Genetic Programming
School of Computer Science, Peking University · Tongyi Lab, Alibaba Group · Wuhan University +3
Natural Synthesis: Outperforming Reactive Synthesis Tools with Large Reasoning Models
May 14, 2026Frederik Schmitt, Matthias Cosler, Niklas Metzger +4Program Synthesis Formal Verification
1CISPA Helmholtz Center for Information Security · 2Technical University of Munich
GenCircuit-RL: Reinforcement Learning from Hierarchical Verification for Genetic Circuit Design
May 14, 2026Noah FlynnRL for Code Generation Program Synthesis
University of California, Berkeley, CA, USA.
Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence
May 13, 2026Jun He, Deying YuAI Assurance Program Synthesis
Optimal LTLf Synthesis
May 12, 2026Yujian Cao, Sven Schewe, Qiyi Tang +1Program Synthesis Formal Verification
University of Liverpool
Equivariant Reinforcement Learning for Clifford Quantum Circuit Synthesis
May 11, 2026Richie Yeung, Aleks Kissinger, Rob CornishReinforcement Learning Quantum Circuit Compilation
Department of Computer Science, University of Oxford · Quantinuum · College of Computing and Data Science, Nanyang Technological University, Singapore
Teacher-Aware Evolution of Heuristic Programs from Learned Optimization Policies
May 11, 2026Minyu Chen, Song Qin, Ling-I Wu +2Automated Heuristic Design Evolutionary Optimization
Shenzhen Technology University · Shanghai Polytechnic University · Shanghai Jiao Tong University
EGL-SCA: Structural Credit Assignment for Co-Evolving Instructions and Tools in Graph Reasoning Agents
May 11, 2026Zike Yuan, Yukun Cao, Han Zhang +7Program Synthesis LLM Agent Training
Harbin Institute of Technology, Shenzhen, China · School of Computer Science and Technology, Xidian University · Peng Cheng Laboratory, Shenzhen, China
Combining Mechanical and Agentic Specification Inference for Move
May 11, 2026Wolfgang Grieskamp, Teng Zhang, Vineeth KashyapProgram Synthesis Formal Verification
Aptos Labs, Palo Alto, USA
Prospective Compression in Human Abstraction Learning
May 11, 2026Leonardo Hernandez Cano, Ivan Zareski, Luisa El Amouri +6Program Synthesis
1Massachusetts Institute of Technology · 2Dalhousie University · University of Edinburgh +1
GPU-Accelerated Synthesis of Mixed-Boolean Arithmetic: Beyond Caching
May 7, 2026Gabriel Bathie, Baptiste Mouillon, Nathanaël FijalkowGPU Acceleration Program Synthesis
CNRS, LaBRI, University of Bordeaux, France
ReaComp: Compiling LLM Reasoning into Symbolic Solvers for Efficient Program Synthesis
May 6, 2026Atharva Naik, Yash Mathur, Prakam +2Symbolic Reasoning LLM-Based Program Synthesis
Carnegie Mellon University · Independent Researcher
Library learning with e-graphs on jazz harmony
May 6, 2026Zeng Ren, Maddy Bowers, Xinyi Guan +1Program Synthesis
EPFL Lausanne, Vaud, Switzerland · MIT Cambridge, Massachusetts, USA
ProgramBench: Can Language Models Rebuild Programs From Scratch?
May 5, 2026John Yang, Kilian Lieret, Jeffrey Ma +9Software Engineering Agents Software Engineering Benchmarks
1Meta FAIR · 4Harvard University · 2Meta TBD +1

Jun 11, 2026, cs.SEJ/K move · Enter open · S save

ComAct: Reframing Professional Software Manipulation via COM-as-Action Paradigm

Jiaxin Ai, Tao Hu, Xuemeng Yang, Shu Zou+10

Wuhan University · Shanghai Artificial Intelligence Laboratory · Shanghai Innovation Institute+4

Computer-Use Agents Program Synthesis AI Agent Benchmarks LLM Agent Training

Open paper AskPDF arXiv

Existing computer-use agents remain fundamentally limited in professional software manipulation: GUI-based agents suffer from fragile visual grounding and long-horizon error accumulation, while API-basedapproaches struggle with heterogeneous protocols and inaccessible commercial interfaces. In this work,we identify the Component Object Model (COM) as a unified executable abstraction, proposing COM-as-Action: a new paradigm that reframes professional software interaction as deterministic program synthesisrather than sequential visual control. To validate this paradigm in the most demanding environments, weintroduce ComCADBench, the first benchmark for agents operating real industrial CAD software. Ourexperiments reveal a substantial paradigm gap: frontier proprietary models achieve near-zero successunder GUI-based interaction, whereas COM-based execution yields substantial immediate gains. Tobridge the remaining gap between syntactic correctness and geometric accuracy, we develop ComActor, aself-correcting agent trained through a progressive three-stage framework, alongside ComForge, a scalableplatform for large-scale training in Windows containers. Extensive experiments show that ComActorachieves state-of-the-art performance on ComCADBench, with strong resilience in long-horizon taskswhere baselines collapse, and generalizes to external CAD benchmark.

Momentum

Related topics

Latest papers 114