New York University; Allen Institute for AI
William Merrill, Ashish Sabharwal
transformers;logic;reasoning;circuit complexity;mechanistic interpretability
A Logic for Expressing Log-Precision Transformers