Uncovering Bugs in Formal Explainers: A Case Study with PyXAI

Open in new window