A Logic for Expressing Log-Precision Transformers | Read Paper on Bytez