A Logic for Expressing Log-Precision Transformers

Open in new window