Tackles interpretability by replacing opaque attention computations with synthesized, human-readable symbolic programs that describe what the attention is doing. If reliable, this offers a more faithful alternative to attribution heatmaps for understanding transformer internals. By Amiri Hayes, Belinda Li, Jacob Andreas (cs.LG/cs.AI).