Cover Image

A Divide-Align-Conquer Strategy for Program Synthesis

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Witt, Jonas, Dumančić, Sebastijan, Guns, Tias, Carbon, Claus-Christian
Format:	Preprint
Published:	2023
Subjects:	Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Revisiting Landmarks: Learning from Previous Plans to Generalize over Problem Instances
by: Hanou, Issa, et al.
Published: (2025)

Learning logic programs by discovering higher-order abstractions
by: Hocquette, Céline, et al.
Published: (2023)

DCP-Bench-Open: Evaluating LLMs for Constraint Modelling of Discrete Combinatorial Problems
by: Michailidis, Kostis, et al.
Published: (2025)

Declarative Design of Neural Predicates in Neuro-Symbolic Systems
by: Hinnerichs, Tilman, et al.
Published: (2024)

Preference Elicitation for Multi-objective Combinatorial Optimization with Active Learning and Maximum Likelihood Estimation
by: Defresne, Marianne, et al.
Published: (2025)

Modelling Program Spaces in Program Synthesis with Constraints
by: Hinnerichs, Tilman, et al.
Published: (2025)

From Statistical Relational to Neurosymbolic Artificial Intelligence: a Survey
by: Marra, Giuseppe, et al.
Published: (2021)

Learning Logical Rules using Minimum Message Length
by: Sharma, Ruben, et al.
Published: (2025)

Exploiting Symmetries in MUS Computation (Extended version)
by: Bleukx, Ignace, et al.
Published: (2024)

Generalizing Constraint Models in Constraint Acquisition
by: Tsouros, Dimos, et al.
Published: (2024)

Feasibility-Aware Decision-Focused Learning for Predicting Parameters in the Constraints
by: Mandi, Jayanta, et al.
Published: (2025)

Herb.jl: A Unifying Program Synthesis Library
by: Hinnerichs, Tilman, et al.
Published: (2025)

Preference Elicitation for Step-Wise Explanations in Logic Puzzles
by: Foschini, Marco, et al.
Published: (2025)

Using Certifying Constraint Solvers for Generating Step-wise Explanations
by: Bleukx, Ignace, et al.
Published: (2025)

Solver-Free Decision-Focused Learning for Linear Optimization Problems
by: Berden, Senne, et al.
Published: (2025)

Minimizing Surrogate Losses for Decision-Focused Learning using Differentiable Optimization
by: Mandi, Jayanta, et al.
Published: (2025)

Decision-Focused Learning to Predict Action Costs for Planning
by: Mandi, Jayanta, et al.
Published: (2024)

Single-Reset Divide & Conquer Imitation Learning
by: Chenu, Alexandre, et al.
Published: (2024)

Transitive RL: Value Learning via Divide and Conquer
by: Park, Seohong, et al.
Published: (2025)

Recursive Decomposition with Dependencies for Generic Divide-and-Conquer Reasoning
by: Hernández-Gutiérrez, Sergio, et al.
Published: (2025)

A Divide-and-Conquer Strategy for Hard-Label Extraction of Deep Neural Networks via Side-Channel Attacks
by: Coqueret, Benoit, et al.
Published: (2024)

Enhancing LLM Character-Level Manipulation via Divide and Conquer
by: Xiong, Zhen, et al.
Published: (2025)

Score Function Gradient Estimation to Widen the Applicability of Decision-Focused Learning
by: Silvestri, Mattia, et al.
Published: (2023)

Decision-Focused Learning: Foundations, State of the Art, Benchmark and Future Opportunities
by: Mandi, Jayanta, et al.
Published: (2023)

PLM-eXplain: Divide and Conquer the Protein Embedding Space
by: van Eck, Jan, et al.
Published: (2025)

Cobblestone: A Divide-and-Conquer Approach for Automating Formal Verification
by: Kasibatla, Saketh Ram, et al.
Published: (2024)

Divide, Reweight, and Conquer: A Logit Arithmetic Approach for In-Context Learning
by: Huang, Chengsong, et al.
Published: (2024)

An Examination on the Effectiveness of Divide-and-Conquer Prompting in Large Language Models
by: Zhang, Yizhou, et al.
Published: (2024)

FPGA Divide-and-Conquer Placement using Deep Reinforcement Learning
by: Wang, Shang, et al.
Published: (2024)

Visual Para-Thinker: Divide-and-Conquer Reasoning for Visual Comprehension
by: Xu, Haoran, et al.
Published: (2026)

Divide and Conquer: Rethinking the Training Paradigm of Neural Radiance Fields
by: Ma, Rongkai, et al.
Published: (2024)

Piece of Table: A Divide-and-Conquer Approach for Selecting Subtables in Table Question Answering
by: Lee, Wonjin, et al.
Published: (2024)

Automatically Generating UI Code from Screenshot: A Divide-and-Conquer-Based Approach
by: Wan, Yuxuan, et al.
Published: (2024)

Divide-and-Conquer Predictive Coding: a structured Bayesian inference algorithm
by: Sennesh, Eli, et al.
Published: (2024)

Divide and Conquer: Heterogeneous Noise Integration for Diffusion-based Adversarial Purification
by: Pei, Gaozheng, et al.
Published: (2025)

Divide and Conquer: Grounding LLMs as Efficient Decision-Making Agents via Offline Hierarchical Reinforcement Learning
by: Hu, Zican, et al.
Published: (2025)

GraphDC: A Divide-and-Conquer Multi-Agent System for Scalable Graph Algorithm Reasoning
by: Li, Wenjin, et al.
Published: (2026)

DCR-Consistency: Divide-Conquer-Reasoning for Consistency Evaluation and Improvement of Large Language Models
by: Cui, Wendi, et al.
Published: (2024)

Adapting and Evaluating Multimodal Large Language Models for Adolescent Idiopathic Scoliosis Self-Management: A Divide and Conquer Framework
by: Wu, Zhaolong, et al.
Published: (2025)

Plug-and-Play Dramaturge: A Divide-and-Conquer Approach for Iterative Narrative Script Refinement via Collaborative LLM Agents
by: Xie, Wenda, et al.
Published: (2025)