15 citations · 47 across the 12 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.DC2022★ 1 cited
Modeling GPU Dynamic Parallelism for Self Similar Density Workloads
Felipe A. Quezada, Cristóbal A. Navarro, Miguel Romero +1
Dynamic Parallelism (DP) is a runtime feature of the GPU programming model that allows GPU threads to execute additional GPU kernels, recursively. Apart from making the programming…