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

Learning to Theorize the World from Observation
May 5, 2026Doojin Baek, Gyubin Lee, Junyeob Baek +2Computational Cognitive Modeling World Model Learning
KAIST
CADFS: A Big CAD Program Dataset and Framework for Computer-Aided Design with Large Language Models
May 3, 2026Vladislav Pyatov, Gleb Bobrovskikh, Saveliy Galochkin +6Parametric CAD Modeling Program Synthesis
1Applied AI Institute · 2AI Foundation and Algorithm Lab · 3AXXX +1
Lifting Traces to Logic: Programmatic Skill Induction with Neuro-Symbolic Learning for Long-Horizon Agentic Tasks
May 2, 2026Jie-Jing Shao, Haiyan Yin, Yueming Lyu +5Program Synthesis LLM Agent Skill Learning
State Key Laboratory of Novel Software Technology, Nanjing University, China · Centre for Frontier AI Research, and Institute of High Performance Computing, Agency for Science, Technology and Research, Singapore · School of Intelligence Science and Technology, Nanjing University, China +2
DreamProver: Evolving Transferable Lemma Libraries via a Wake-Sleep Theorem-Proving Agent
Apr 29, 2026Youyuan Zhang, Jialiang Sun, Hangrui Bi +4Automated Theorem Proving Program Synthesis
University of Toronto · UC Berkeley
Zero-to-CAD: Agentic Synthesis of Interpretable CAD Programs at Million-Scale Without Real Data
Apr 27, 2026Mohammadmehdi Ataei, Farzaneh Askari, Kamal Rahimi Malekshan +1Synthetic Data Generation Parametric CAD Modeling
Autodesk Research
SemML 2.0: Synthesizing Controllers for LTL
Apr 27, 2026Jan Křetínský, Tobias Meggendorfer, Maximilian ProkopProgram Synthesis Formal Verification
Masaryk University, Brno, Czech Republic · Technical University of Munich, Germany · Lancaster University Leipzig, Germany
LEGO: An LLM Skill-Based Front-End Design Generation Platform
Apr 25, 2026Jincheng Lou, Ruohan Xu, Jiecheng Ma +3Electronic Design Automation Code Generation
School of IC, Peking University · School of EECS, Peking University · School of Microelectronics, Xidian University +2
AutoRISE: Agent-Driven Strategy Evolution for Red-Teaming Large Language Models
Apr 23, 2026Tanmay Gautam, Alireza Bahramali, Sandeep AtluriLarge Language Model-Guided Optimization Program Synthesis
Responsible AI, Microsoft
Generalizing Numerical Reasoning in Table Data through Operation Sketches and Self-Supervised Learning
Apr 23, 2026Hanjun Cho, Gahyun Yoo, Hanseong Kim +1Table QA Self-Supervised Pre-Training
Seoul National University · Soongsil University
ChipCraftBrain: Validation-First RTL Generation via Multi-Agent Orchestration
Apr 21, 2026Cagri EryilmazElectronic Design Automation Code Generation
ChipCraftX San Francisco, CA
Gradient-Based Program Synthesis with Neurally Interpreted Languages
Apr 20, 2026Matthew V. Macfarlane, Clément Bonnet, Herke van Hoof +1Program Synthesis Differentiable Programming
AMLab, University of Amsterdam · Work completed while a visiting student at the University of Alberta. · Ndea +2
Symbolic Synthesis for LTLf+ Obligations
Apr 20, 2026Giuseppe De Giacomo, Christian Hagemeier, Daniel Hausmann +1Program Synthesis Formal Verification
University of Oxford, UK · University of Liverpool, UK · University of Gothenburg and Chalmers University of Technology, Sweden
LLM-Guided Strategy Synthesis for Scalable Equality Saturation
Apr 19, 2026Chenyun Yin, Youwei Xiao, Yuze Luo +2Large Language Model-Guided Optimization Program Synthesis
Peking University Beijing, China · School of Integrated Circuits Peking University Beijing, China
Certified Program Synthesis with a Multi-Modal Verifier
Apr 17, 2026Yueyang Feng, Dipesh Kafle, Vladimir Gladshtein +5LLM-Based Program Synthesis Program Synthesis
National University of Singapore · Singapore · Neapolis University Pafos +2
Verification Modulo Tested Library Contracts
Apr 16, 2026Abhishek Uppar, Omar Muhammad, Sumanth Prabhu +3Program Synthesis Formal Verification
Indian Institute of Science, India · Relyance AI, India · University of Illinois Urbana-Champaign, Department of Computer Science, USA +1
ParEVO: Synthesizing Code for Irregular Data: High-Performance Parallelism through Agentic Evolution
Mar 3, 2026Liu Yang, Zeyu Nie, Andrew Liu +4High-Performance Computing Code Generation
Department of Computer Science, Yale University, New Haven, CT, USA · Google DeepMind, Mountain View, CA, USA
ActionEngine: From Reactive to Programmatic Web Agents via State Machine Memory
Feb 24, 2026Hongbin Zhong, Fazle Faisal, Luis França +4Agent Memory LLM Agent Memory
Georgia Tech USA · Microsoft Research USA
CADReasoner: Iterative Program Editing for CAD Reverse Engineering
Feb 18, 2026Soslan Kabisov, Vsevolod Kirichuk, Andrey Volkov +5Parametric CAD Modeling 3D Reconstruction
Lomonosov Moscow State University · Universit´e Paris Dauphine · Innopolis University +1
Discovering High Level Patterns from Simulation Traces
Feb 10, 2026Sean Memery, Kartic SubrLLM Grounding Program Synthesis
University of Edinburgh, United Kingdom
Doc2Spec: Synthesizing Formal Programming Specifications from Natural Language via Grammar Induction
Jan 30, 2026Shihao Xia, Mengting He, Haomin Jia +2Autoformalization Program Synthesis
The Pennsylvania State University · University of the Chinese Academy of Sciences · Institute of Computing Technology, Chinese Academy of Sciences
Compositional Machine Design as Program Synthesis with LLMs
Oct 16, 2025Wenqian Zhang, Yangyi Huang, Weiyang Liu +1LLM-Based Program Synthesis Program Synthesis
1The Chinese University of Hong Kong (Shenzhen) · 2The Chinese University of Hong Kong
Rational Inverse Reasoning: Few-Shot Imitation by Inferring Intent through Planning
Aug 12, 2025Ben Zandonati, Tomás Lozano-Pérez, Leslie Pack KaelblingRobot Skill Learning Generalization in Robotic Manipulation
MIT CSAIL
3D Software Synthesis Driven by Constraint-Expressive Intermediate Representation
Jul 24, 2025Shuqing Li, Anson Y. Lam, Yun Peng +2Program Synthesis 3D Scene Generation
The Chinese University of Hong Kong Hong Kong, China · Renmin University of China Beijing, China
PBEBench: A Multi-Step Programming by Examples Reasoning Benchmark inspired by Historical Linguistics
May 29, 2025Atharva Naik, Prakam, Yash Mathur +6Logical Reasoning LLM Evaluation
Carnegie Mellon University · Independent Researcher · Ohio State University

May 5, 2026, cs.LGJ/K move · Enter open · S save

Learning to Theorize the World from Observation

Doojin Baek, Gyubin Lee, Junyeob Baek, Hosung Lee+1

KAIST

Computational Cognitive Modeling World Model Learning Program Synthesis Neurosymbolic Learning

Open paper AskPDF arXiv

What does it mean to understand the world? Contemporary world models often operationalize understanding as accurate future prediction in latent or observation space. Developmental cognitive science, however, suggests a different view: human understanding emerges through the construction of internal theories of how the world works, even before mature language is acquired. Inspired by this theory-building view of cognition, we introduce Learning-to-Theorize, a learning paradigm for inferring explicit explanatory theories of the world from raw, non-textual observations. We instantiate this paradigm with the Neural Theorizer (NEO), a World Theory Model, that induces latent programs as a learned Language of Thought and executes them through a shared transition model. In NEO, a theory is represented as an executable, compositional program whose learned primitives can be systematically recombined to explain novel phenomena. Experiments show that this formulation enables explanation-driven generalization, allowing observations to be understood in terms of the programs that generate them.

Momentum

Related topics

Latest papers 114