Copertina

Preference Elicitation for Step-Wise Explanations in Logic Puzzles

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Foschini, Marco, Defresne, Marianne, Gamba, Emilio, Bogaerts, Bart, Guns, Tias
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Artificial Intelligence
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

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

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

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

Generalizing Constraint Models in Constraint Acquisition
di: Tsouros, Dimos, et al.
Pubblicazione: (2024)

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

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

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

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

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

Certifying Pareto-Optimality in Multi-Objective Maximum Satisfiability
di: Jabs, Christoph, et al.
Pubblicazione: (2025)

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

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

Causal Preference Elicitation
di: Bonilla, Edwin V., et al.
Pubblicazione: (2026)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Explaining Explanations in Probabilistic Logic Programming
di: Vidal, Germán
Pubblicazione: (2024)

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

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