Nicolas Szczepanski

According to our database, Nicolas Szczepanski authored at least 16 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

PyXAI: An XAI Library for Tree-Based Models.

Gilles Audemard, Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski

Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024

Deriving Provably Correct Explanations for Decision Trees: The Impact of Domain Theories.

Gilles Audemard, Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski

Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024

On the Computation of Example-Based Abductive Explanations for Random Forests.

Gilles Audemard, Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski

Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024

Designing an XAI Interface for Tree-Based ML Models.

Gilles Audemard, Sylvie Coste-Marquis, Pierre Marquis, Mehdi Sabiri, Nicolas Szczepanski

Proceedings of the ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain, 2024

2023

PyXAI : calculer en Python des explications pour des modèles d'apprentissage supervisé.

Gilles Audemard, Steve Bellart, Louenas Bounia, Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski

Proceedings of the Extraction et Gestion des Connaissances, 2023

On Contrastive Explanations for Tree-Based Classifiers.

Gilles Audemard, Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski

Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

Computing Abductive Explanations for Boosted Trees.

Gilles Audemard, Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski

Proceedings of the International Conference on Artificial Intelligence and Statistics, 2023

2021

A hybrid CP/MOLS approach for multi-objective imbalanced classification.

Nicolas Szczepanski, Gilles Audemard, Laetitia Jourdan, Christophe Lecoutre, Lucien Mousin, Nadarajen Veerapen

Proceedings of the GECCO '21: Genetic and Evolutionary Computation Conference, 2021

2020

PYCSP3: Modeling Combinatorial Constrained Problems in Python.

Christophe Lecoutre, Nicolas Szczepanski

CoRR, 2020

Automatic Configuration of Multi-Thread Local Search: Preliminary Results on Bi-objective TSP.

Nicolas Szczepanski, Lucien Mousin, Nadarajen Veerapen, Laetitia Jourdan

Proceedings of the 32nd IEEE International Conference on Tools with Artificial Intelligence, 2020

Multi-objective Automatic Algorithm Configuration for the Classification Problem of Imbalanced Data.

Sara Tari, Nicolas Szczepanski, Lucien Mousin, Julie Jacques, Marie-Eléonore Kessaci, Laetitia Jourdan

Proceedings of the IEEE Congress on Evolutionary Computation, 2020

2019

An Incremental SAT-Based Approach to the Graph Colouring Problem.

Gael Glorian, Jean-Marie Lagniez, Valentin Montmirail, Nicolas Szczepanski

Proceedings of the Principles and Practice of Constraint Programming, 2019

2018

DMC: A Distributed Model Counter.

Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

2017

SAT en Parallèle. (SAT Parallel Computing).

Nicolas Szczepanski

PhD thesis, 2017

A Distributed Version of Syrup.

Gilles Audemard, Jean-Marie Lagniez, Nicolas Szczepanski, Sébastien Tabary

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28, 2017

2016

An Adaptive Parallel SAT Solver.

Gilles Audemard, Jean-Marie Lagniez, Nicolas Szczepanski, Sébastien Tabary

Proceedings of the Principles and Practice of Constraint Programming, 2016