Image de couverture de livre

Preference Elicitation for Step-Wise Explanations in Logic Puzzles

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Foschini, Marco, Defresne, Marianne, Gamba, Emilio, Bogaerts, Bart, Guns, Tias
Format:	Preprint
Publié:	2025
Sujets:	Artificial Intelligence
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Preference Elicitation for Multi-objective Combinatorial Optimization with Active Learning and Maximum Likelihood Estimation
par: Defresne, Marianne, et autres
Publié: (2025)

Using Certifying Constraint Solvers for Generating Step-wise Explanations
par: Bleukx, Ignace, et autres
Publié: (2025)

Feasibility-Aware Decision-Focused Learning for Predicting Parameters in the Constraints
par: Mandi, Jayanta, et autres
Publié: (2025)

Exploiting Symmetries in MUS Computation (Extended version)
par: Bleukx, Ignace, et autres
Publié: (2024)

Decision-Focused Learning to Predict Action Costs for Planning
par: Mandi, Jayanta, et autres
Publié: (2024)

DCP-Bench-Open: Evaluating LLMs for Constraint Modelling of Discrete Combinatorial Problems
par: Michailidis, Kostis, et autres
Publié: (2025)

Generalizing Constraint Models in Constraint Acquisition
par: Tsouros, Dimos, et autres
Publié: (2024)

A Divide-Align-Conquer Strategy for Program Synthesis
par: Witt, Jonas, et autres
Publié: (2023)

Solver-Free Decision-Focused Learning for Linear Optimization Problems
par: Berden, Senne, et autres
Publié: (2025)

Minimizing Surrogate Losses for Decision-Focused Learning using Differentiable Optimization
par: Mandi, Jayanta, et autres
Publié: (2025)

Scaling Neuro-symbolic Problem Solving: Solver-Free Learning of Constraints and Objectives
par: Defresne, Marianne, et autres
Publié: (2025)

Approximation Fixpoint Theory with Refined Approximation Spaces
par: Vanbesien, Linde, et autres
Publié: (2025)

Certifying Pareto-Optimality in Multi-Objective Maximum Satisfiability
par: Jabs, Christoph, et autres
Publié: (2025)

Score Function Gradient Estimation to Widen the Applicability of Decision-Focused Learning
par: Silvestri, Mattia, et autres
Publié: (2023)

Decision-Focused Learning: Foundations, State of the Art, Benchmark and Future Opportunities
par: Mandi, Jayanta, et autres
Publié: (2023)

Causal Preference Elicitation
par: Bonilla, Edwin V., et autres
Publié: (2026)

Eliciting Critical Reasoning in Retrieval-Augmented Language Models via Contrastive Explanations
par: Ranaldi, Leonardo, et autres
Publié: (2024)

Preference Elicitation for Offline Reinforcement Learning
par: Pace, Alizée, et autres
Publié: (2024)

Personalized Algorithmic Recourse with Preference Elicitation
par: De Toni, Giovanni, et autres
Publié: (2022)

HardcoreLogic: Challenging Large Reasoning Models with Long-tail Logic Puzzle Games
par: Liang, Jingcong, et autres
Publié: (2025)

Trustworthy and Explainable Decision-Making for Workforce allocation
par: Povéda, Guillaume, et autres
Publié: (2024)

Logic-of-Thought: Empowering Large Language Models with Logic Programs for Solving Puzzles in Natural Language
par: Li, Naiqi, et autres
Publié: (2025)

Step-by-Step Reasoning to Solve Grid Puzzles: Where do LLMs Falter?
par: Tyagi, Nemika, et autres
Publié: (2024)

The Stable Model Semantics for Higher-Order Logic Programming
par: Bogaerts, Bart, et autres
Publié: (2024)

Asking Clarifying Questions for Preference Elicitation With Large Language Models
par: Montazeralghaem, Ali, et autres
Publié: (2025)

Entropy Guided Diversification and Preference Elicitation in Agentic Recommendation Systems
par: Tran, Dat, et autres
Publié: (2026)

LEGO-Puzzles: How Good Are MLLMs at Multi-Step Spatial Reasoning?
par: Tang, Kexian, et autres
Publié: (2025)

StepMathAgent: A Step-Wise Agent for Evaluating Mathematical Processes through Tree-of-Error
par: Yang, Shu-Xun, et autres
Publié: (2025)

Logic-Regularized Verifier Elicits Reasoning from LLMs
par: Wang, Xinyu, et autres
Publié: (2026)

Step-Wise Formal Verification for LLM-Based Mathematical Problem Solving
par: Zhou, Kuo, et autres
Publié: (2025)

Weak-eval-Strong: Evaluating and Eliciting Lateral Thinking of LLMs with Situation Puzzles
par: Chen, Qi, et autres
Publié: (2024)

Agentic LLM Planning via Step-Wise PDDL Simulation: An Empirical Characterisation
par: Göbel, Kai, et autres
Publié: (2026)

Step-Wise Refusal Dynamics in Autoregressive and Diffusion Language Models
par: Rahimi, Eliron, et autres
Publié: (2026)

Greedy SLIM: A SLIM-Based Approach For Preference Elicitation
par: Proissl, Claudius, et autres
Publié: (2024)

Adaptive Batch-Wise Sample Scheduling for Direct Preference Optimization
par: Huang, Zixuan, et autres
Publié: (2025)

Logic Explanation of AI Classifiers by Categorical Explaining Functors
par: Fioravanti, Stefano, et autres
Publié: (2025)

Pointwise-in-Time Explanation for Linear Temporal Logic Rules
par: Brindise, Noel, et autres
Publié: (2023)

Explaining Explanations in Probabilistic Logic Programming
par: Vidal, Germán
Publié: (2024)

Rethinking Explanations: Formalizing Contrast in Description Logics
par: Mahmood, Yasir, et autres
Publié: (2026)

Efficient and Reliable Hitting-Set Computations for the Implicit Hitting Set Approach
par: Ihalainen, Hannes, et autres
Publié: (2025)