A multi-criteria approach for selecting an explanation from the set of counterfactuals produced by an ensemble of explainers. - Ignacy Stepka; Mateusz Lango; Jerzy Stefanowski (Int. J. Appl. Math. Comput. Sci., 2024)

A SAT-based approach to rigorous verification of Bayesian networks. - Ignacy Stepka; Nicholas Gisolfi; Artur Dubrawski (CoRR, 2024)

Counterfactual Explanations with Probabilistic Guarantees on their Robustness to Model Change. - Ignacy Stepka; Jerzy Stefanowski; Mateusz Lango (KDD (1), 2025)

Towards Fairness for the Right Reasons: Using Saliency Maps to Evaluate Bias Removal in Neural Networks. - Lukasz Sztukiewicz; Ignacy Stepka; Michal Wilinski; Jerzy Stefanowski (CoRR, 2025)

DetoxAI: a Python Toolkit for Debiasing Deep Learning Models in Computer Vision. - Ignacy Stepka; Lukasz Sztukiewicz; Michal Wilinski; Jerzy Stefanowski (CoRR, 2025)