13 citations · 13 across the 1 of their papers we have counts for
1 paper
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…