38 citations · 73 across the 10 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.LG2022★ 13 cited
On Computing Probabilistic Explanations for Decision Trees
Marcelo Arenas, Pablo Barceló, Miguel Romero +1
Formal XAI (explainable AI) is a growing area that focuses on computing explanations with mathematical guarantees for the decisions made by ML models. Inside formal XAI, one of the…
cs.CC2022
Wordle is NP-hard
Daniel Lokshtanov, Bernardo Subercaseaux
Wordle is a single-player word-guessing game where the goal is to discover a secret word that has been chosen from a dictionary . In order to discover , the player can ma…