Fetching the paper…

A Logic for Expressing Log-Precision Transformers · Around