A Logic for Expressing Log-Precision Transformers - Merrill, William; Sabharwal, Ashish (Advances in Neural Information Processing Systems, 2023)