Cover Image

Using Certifying Constraint Solvers for Generating Step-wise Explanations

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Bleukx, Ignace, Flippo, Maarten, Bogaerts, Bart, Demirović, Emir, Guns, Tias
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

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

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

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

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

Domain-Independent Dynamic Programming with Constraint Propagation
by: Marijnissen, Imko, et al.
Published: (2026)

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

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

In Search of Trees: Decision-Tree Policy Synthesis for Black-Box Systems via Search
by: Demirović, Emir, et al.
Published: (2024)

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)

Optimal Classification Trees for Continuous Feature Data Using Dynamic Programming with Branch-and-Bound
by: Brita, Catalin E., et al.
Published: (2025)

Faster Certified Symmetry Breaking Using Orders With Auxiliary Variables
by: Anders, Markus, et al.
Published: (2025)

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

Optimal Survival Trees: A Dynamic Programming Approach
by: Huisman, Tim, et al.
Published: (2024)

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)

Generating Counterfactual Explanations Using Cardinality Constraints
by: Ruiz-Torrubiano, Rubén
Published: (2024)

Automation of Triangle Ruler-and-Compass Constructions Using Constraint Solvers
by: Banković, Milan
Published: (2024)

Generating Counterfactual Explanations Under Temporal Constraints
by: Buliga, Andrei, et al.
Published: (2025)

Hyperparameter Optimization of Constraint Programming Solvers
by: Haddad, Hedieh, et al.
Published: (2026)

How To Discover Short, Shorter, and the Shortest Proofs of Unsatisfiability: A Branch-and-Bound Approach for Resolution Proof Length Minimization
by: Sidorov, Konstantin, et al.
Published: (2024)

LegalReasoner: Step-wised Verification-Correction for Legal Judgment Reasoning
by: Shi, Weijie, et al.
Published: (2025)

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

REFLECTOR: Internalizing Step-wise Reflection against Indirect Jailbreak
by: Ma, Jiachen, et al.
Published: (2026)

Step-DPO: Step-wise Preference Optimization for Long-chain Reasoning of LLMs
by: Lai, Xin, et al.
Published: (2024)

Pixel-level Certified Explanations via Randomized Smoothing
by: Anani, Alaa, et al.
Published: (2025)

DeepVIS: Bridging Natural Language and Data Visualization Through Step-wise Reasoning
by: Shuai, Zhihao, et al.
Published: (2025)

Distilling Long-CoT Reasoning through Collaborative Step-wise Multi-Teacher Decoding
by: Yun, Taewon, et al.
Published: (2026)

ASP-FZN: A Translation-based Constraint Answer Set Solver
by: Eiter, Thomas, et al.
Published: (2025)

Learning a Generic Value-Selection Heuristic Inside a Constraint Programming Solver
by: Marty, Tom, et al.
Published: (2023)

SOD: Step-wise On-policy Distillation for Small Language Model Agents
by: Zhong, Qiyong, et al.
Published: (2026)

STEPER: Step-wise Knowledge Distillation for Enhancing Reasoning Ability in Multi-Step Retrieval-Augmented Language Models
by: Lee, Kyumin, et al.
Published: (2025)

Necessary and Sufficient Conditions for Optimal Decision Trees using Dynamic Programming
by: van der Linden, Jacobus G. M., et al.
Published: (2023)

Unifying Perspectives: Plausible Counterfactual Explanations on Global, Group-wise, and Local Levels
by: Furman, Oleksii, et al.
Published: (2024)

CaDA: Cross-Problem Routing Solver with Constraint-Aware Dual-Attention
by: Li, Han, et al.
Published: (2024)

Structure-based RNA Design by Step-wise Optimization of Latent Diffusion Model
by: Si, Qi, et al.
Published: (2026)