Explainable AI needs formalization0 PRE AI DOI:10.1038/s44387-026-00095-1OriginalOriginal request for helpShareSaveAbstract En