Exact Expressive Power of Transformers with Padding - Merrill, Will; Sabharwal, Ashish (Advances in Neural Information Processing Systems, 2025)