Imagen de Portada

Preference Elicitation for Step-Wise Explanations in Logic Puzzles

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Foschini, Marco, Defresne, Marianne, Gamba, Emilio, Bogaerts, Bart, Guns, Tias
Formato:	Preprint
Publicado:	2025
Materias:	Artificial Intelligence
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

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

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

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

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

A Divide-Align-Conquer Strategy for Program Synthesis
por: Witt, Jonas, et al.
Publicado: (2023)

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)

Scaling Neuro-symbolic Problem Solving: Solver-Free Learning of Constraints and Objectives
por: Defresne, Marianne, et al.
Publicado: (2025)

Approximation Fixpoint Theory with Refined Approximation Spaces
por: Vanbesien, Linde, et al.
Publicado: (2025)

Certifying Pareto-Optimality in Multi-Objective Maximum Satisfiability
por: Jabs, Christoph, 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)

Causal Preference Elicitation
por: Bonilla, Edwin V., et al.
Publicado: (2026)

Eliciting Critical Reasoning in Retrieval-Augmented Language Models via Contrastive Explanations
por: Ranaldi, Leonardo, et al.
Publicado: (2024)

Preference Elicitation for Offline Reinforcement Learning
por: Pace, Alizée, et al.
Publicado: (2024)

Personalized Algorithmic Recourse with Preference Elicitation
por: De Toni, Giovanni, et al.
Publicado: (2022)

HardcoreLogic: Challenging Large Reasoning Models with Long-tail Logic Puzzle Games
por: Liang, Jingcong, et al.
Publicado: (2025)

Trustworthy and Explainable Decision-Making for Workforce allocation
por: Povéda, Guillaume, et al.
Publicado: (2024)

Logic-of-Thought: Empowering Large Language Models with Logic Programs for Solving Puzzles in Natural Language
por: Li, Naiqi, et al.
Publicado: (2025)

Step-by-Step Reasoning to Solve Grid Puzzles: Where do LLMs Falter?
por: Tyagi, Nemika, et al.
Publicado: (2024)

The Stable Model Semantics for Higher-Order Logic Programming
por: Bogaerts, Bart, et al.
Publicado: (2024)

Asking Clarifying Questions for Preference Elicitation With Large Language Models
por: Montazeralghaem, Ali, et al.
Publicado: (2025)

Entropy Guided Diversification and Preference Elicitation in Agentic Recommendation Systems
por: Tran, Dat, et al.
Publicado: (2026)

LEGO-Puzzles: How Good Are MLLMs at Multi-Step Spatial Reasoning?
por: Tang, Kexian, et al.
Publicado: (2025)

StepMathAgent: A Step-Wise Agent for Evaluating Mathematical Processes through Tree-of-Error
por: Yang, Shu-Xun, et al.
Publicado: (2025)

Step-Wise Formal Verification for LLM-Based Mathematical Problem Solving
por: Zhou, Kuo, et al.
Publicado: (2025)

Logic-Regularized Verifier Elicits Reasoning from LLMs
por: Wang, Xinyu, et al.
Publicado: (2026)

Weak-eval-Strong: Evaluating and Eliciting Lateral Thinking of LLMs with Situation Puzzles
por: Chen, Qi, et al.
Publicado: (2024)

Agentic LLM Planning via Step-Wise PDDL Simulation: An Empirical Characterisation
por: Göbel, Kai, et al.
Publicado: (2026)

Step-Wise Refusal Dynamics in Autoregressive and Diffusion Language Models
por: Rahimi, Eliron, et al.
Publicado: (2026)

Greedy SLIM: A SLIM-Based Approach For Preference Elicitation
por: Proissl, Claudius, et al.
Publicado: (2024)

Adaptive Batch-Wise Sample Scheduling for Direct Preference Optimization
por: Huang, Zixuan, et al.
Publicado: (2025)

Logic Explanation of AI Classifiers by Categorical Explaining Functors
por: Fioravanti, Stefano, et al.
Publicado: (2025)

Pointwise-in-Time Explanation for Linear Temporal Logic Rules
por: Brindise, Noel, et al.
Publicado: (2023)

Explaining Explanations in Probabilistic Logic Programming
por: Vidal, Germán
Publicado: (2024)

Rethinking Explanations: Formalizing Contrast in Description Logics
por: Mahmood, Yasir, et al.
Publicado: (2026)

Efficient and Reliable Hitting-Set Computations for the Implicit Hitting Set Approach
por: Ihalainen, Hannes, et al.
Publicado: (2025)