Logical Languages Accepted by Transformer Encoders with Hard Attention

Open in new window