research
∙
01/23/2023
The Packing Chromatic Number of the Infinite Square Grid is 15
A packing k-coloring is a natural variation on the standard notion of gr...
share
research
∙
06/30/2022
On Computing Probabilistic Explanations for Decision Trees
Formal XAI (explainable AI) is a growing area that focuses on computing ...
research
∙
03/30/2022
Wordle is NP-hard
Wordle is a single-player word-guessing game where the goal is to discov...
research
∙
10/05/2021
Foundations of Symbolic Languages for Model Interpretability
Several queries and scores have recently been proposed to explain indivi...
research
∙
10/23/2020
Model Interpretability through the Lens of Computational Complexity
In spite of several claims stating that some models are more interpretab...
research
∙
03/22/2020
The Computational Complexity of Evil Hangman
The game of Hangman is a classical asymmetric two player game in which o...
research
∙
09/25/2019