TY  - RPRT
TI  - A Logic for Expressing Log-Precision Transformers
AU  - William Merrill
AU  - Ashish Sabharwal
PY  - 2025
UR  - https://arxiv.org/abs/2210.02671
ID  - 2210.02671
ER  -