TY - RPRT TI - Explainable AI needs formalization AU - Stefan Haufe AU - Rick Wilming AU - Benedict Clark AU - Rustam Zhumagambetov AU - Ahcène Boubekki AU - Jörg Martin AU - Danny Panknin PY - 2026 UR - https://arxiv.org/abs/2409.14590 ID - 2409.14590 ER -