2 papers
cs.AI2026
Constraint Reasoning and Large Language Models Join Forces: Providing Contrastive Explanations for Real-World Optimisation-Based Applications
Roger X. Lera-Leri, Filippo Bistaffa, Athina Georgara +1
We focus on optimisation-based Decision Support Systems in real-world applications. In this context, we aim to provide contrastive explanations that answer users' questions about r…
cs.AI2025
Exploiting Constraint Reasoning to Build Graphical Explanations for Mixed-Integer Linear Programming
Roger Xavier Lera-Leri, Filippo Bistaffa, Athina Georgara +1
Following the recent push for trustworthy AI, there has been an increasing interest in developing contrastive explanation techniques for optimisation, especially concerning the sol…