Organizer: Hidetomo Nabeshima (University of Yamanashi)
KRR Seminars
KRR Seminar 2026.04
Invited Speaker: Gilles Audemard (CRIL UMR 8188, Université d’Artois)
Talk 1: "Modeling and Solving Constraint Problems" (slides)
Abstract: In this presentation, we address the two key aspects of constraint programming. We begin with modeling and explain these concepts using examples, all while using the PyCSP library. We then explain the principles behind solving these problems, with a focus on the CoSoCo constraint solver.
Talk 2: "PyXAI: Computing Explanations for Tree Based Classifiers" (slides)
Abstract: PyXAI (Python eXplainable AI) is a Python library that provides formal explanations tailored to tree-based machine learning models (for regression or classification), such as Decision Trees, Random Forests, and Boosted Trees. PyXAI generates post-hoc, local explanations with guarantees. It is also capable of correcting models when their predictions do not satisfy the user’s domain knowledge. In this presentation, we will explain the underlying concepts behind PyXAI and also demonstrate how it works.