Formal Explainability in Artificial Intelligence

The last decade witnessed massive advances in machine learning (ML), with far-reaching societal impact. By all accounts, such impact is expected to become even more prominent in the near future. Never