A Theoretical Perspective for Speculative Decoding Algorithm - Yin, Ming; Chen, Minshuo; Huang, Kaixuan; Wang, Mengdi (Advances in Neural Information Processing Systems, 2024)