Logical Languages Accepted by Transformer Encoders with Hard Attention - Barcelo, Pablo; Kozachinskiy, Alexander; Lin, Anthony W.; Podolskii, Vladimir (International Conference on Learning Representations, 2024)