Imagen de Portada

A Divide-Align-Conquer Strategy for Program Synthesis

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Witt, Jonas, Dumančić, Sebastijan, Guns, Tias, Carbon, Claus-Christian
Formato:	Preprint
Publicado:	2023
Materias:	Artificial Intelligence
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

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

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

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

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

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

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

Generalizing Constraint Models in Constraint Acquisition
por: Tsouros, Dimos, et al.
Publicado: (2024)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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