2 citations · 3 across the 4 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.FL2023★ 2 cited
Logical Languages Accepted by Transformer Encoders with Hard Attention
Pablo Barcelo, Alexander Kozachinskiy, Anthony Widjaja Lin +1
We contribute to the study of formal languages that can be recognized by transformer encoders. We focus on two self-attention mechanisms: (1) UHAT (Unique Hard Attention Transforme…
cs.LO2023
A Uniform Language to Explain Decision Trees
Marcelo Arenas, Pablo Barcelo, Diego Bustamante +2
The formal XAI community has studied a plethora of interpretability queries aiming to understand the classifications made by decision trees. However, a more uniform understanding o…