4 citations · 17 across the 7 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.AI2022★ 1 cited
Computing Abductive Explanations for Boosted Trees
Gilles Audemard, Jean-Marie Lagniez, Pierre Marquis +1
Boosted trees is a dominant ML model, exhibiting high accuracy. However, boosted trees are hardly intelligible, and this is a problem whenever they are used in safety-critical appl…
cs.AI2022★ 2 cited
Proceedings of the 2022 XCSP3 Competition
Gilles Audemard, Christophe Lecoutre, Emmanuel Lonca
This document represents the proceedings of the 2022 XCSP3 Competition. The results of this competition of constraint solvers were presented at FLOC (Federated Logic Conference) 20…